Instantiation for Parameterised Boolean Equation Systems
From MaRDI portal
Publication:5505619
DOI10.1007/978-3-540-85762-4_30zbMath1161.68596MaRDI QIDQ5505619
No author found.
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_30
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Instantiation for Parameterised Boolean Equation Systems, A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus, Verification of reactive systems via instantiation of parameterised Boolean equation systems, Invariants for parameterised Boolean equation systems, Invariants for Parameterised Boolean Equation Systems, Static Analysis Techniques for Parameterised Boolean Equation Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming languages and their definition. Selected papers ed. by C. B. Jones
- 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
- Instantiation for Parameterised Boolean Equation Systems