Verification of reactive systems via instantiation of parameterised Boolean equation systems
From MaRDI portal
Publication:716322
DOI10.1016/j.ic.2010.11.025zbMath1215.68133OpenAlexW2158311980MaRDI QIDQ716322
B. Ploeger, J. W. Wesselink, Tim A. C. Willemse
Publication date: 28 April 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2010.11.025
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Uses Software
Cites Work
- Programming languages and their definition. Selected papers ed. by C. B. Jones
- Results on the propositional \(\mu\)-calculus
- A calculus of communicating systems
- Model-checking processes with data
- Parameterised Boolean equation systems
- A lattice-theoretical fixpoint theorem and its applications
- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
- An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
- Invariants for Parameterised Boolean Equation Systems
- Static Analysis Techniques for Parameterised Boolean Equation Systems
- Solving Parity Games in Practice
- Process Algebra
- Branching time and abstraction in bisimulation semantics
- A Multi-Core Solver for Parity Games
- Solving Parity Games in Big Steps
- Instantiation for Parameterised Boolean Equation Systems
- Symbolic transition graph with assignment
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Verification of reactive systems via instantiation of parameterised Boolean equation systems
