Instantiation for Parameterised Boolean Equation Systems

DOI10.1007/978-3-540-85762-4_30zbMath1161.68596OpenAlexW2112525707MaRDI 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

Mathematics Subject Classification ID

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

Invariants for Parameterised Boolean Equation Systems ⋮ Invariants 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 ⋮ Static Analysis Techniques for Parameterised Boolean Equation Systems ⋮ Instantiation for Parameterised Boolean Equation Systems

Uses Software

• mCRL2

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item