Invariants for Parameterised Boolean Equation Systems

DOI10.1007/978-3-540-85361-9_18zbMath1160.68446OpenAlexW2117766442MaRDI QIDQ3541018

Simona Orzan, Tim A. C. Willemse

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_18

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, Verification of reactive systems via instantiation of parameterised Boolean equation systems, Static Analysis Techniques for Parameterised Boolean Equation Systems

Cites Work

• Constructing invariants for hybrid 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
• Invariants for Parameterised Boolean Equation Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Correct Hardware Design and Verification Methods
• Instantiation for Parameterised Boolean Equation Systems
• Unnamed Item