Abstraction in Fixpoint Logic

DOI10.1145/2740964zbMath1367.68187OpenAlexW2023331051WikidataQ130853245 ScholiaQ130853245MaRDI QIDQ5277894

Maciej Gazda, Wieger Wesselink, Sjoerd Cranen, Tim A. C. Willemse

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2740964

zbMATH Keywords

simulationparameterised Boolean equation systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Parity game reductions ⋮ A formalisation of consistent consequence for Boolean equation systems ⋮ Unnamed Item

Uses Software

• mCRL2
• CADP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Results on the propositional \(\mu\)-calculus
• An abstract interpretation toolkit for \(\mu\)CRL
• Comparing disjunctive modal transition systems with an one-selecting variant
• 3-valued abstraction: More precision at less cost
• Invariants for parameterised Boolean equation systems
• An automata theoretic decision procedure for the propositional mu- calculus
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• A theory of timed automata
• Pushdown processes: Games and model-checking
• Model-checking processes with data
• Parameterised Boolean equation systems
• A lattice-theoretical fixpoint theorem and its applications
• Proof Graphs for Parameterised Boolean Equation Systems
• Consistent Consequence for Boolean Equation Systems
• Introduction to Bisimulation and Coinduction
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
• Static Analysis Techniques for Parameterised Boolean Equation Systems
• An Overview of the mCRL2 Toolset and Its Recent Advances
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification

This page was built for publication: Abstraction in Fixpoint Logic