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 (6)

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

• Unnamed Item

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

This page was built for publication: Instantiation for Parameterised Boolean Equation Systems