Abstraction in Fixpoint Logic
From MaRDI portal
Publication:5277894
DOI10.1145/2740964zbMath1367.68187OpenAlexW2023331051MaRDI 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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Parity game reductions, A formalisation of consistent consequence for Boolean equation systems, Unnamed Item
Uses Software
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
