Invariants for Parameterised Boolean Equation Systems

DOI10.1007/978-3-540-85361-9_18MaRDI QIDQ3541018zbMATH OpenOpenAlexFDO

Authors Simona Orzan, T. 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)

Recommendations

• Invariants for parameterised Boolean equation systems
• CONCUR 2004 - Concurrency Theory
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Instantiation for Parameterised Boolean Equation Systems
• Parameterised Boolean equation systems
• Systems of \(k\) Boolean inequations
• Proof graphs for parameterised Boolean equation systems
• Systems of k Boolean inequations and a Boolean equation

Cites work

• scientific article; zbMATH DE number 1701752 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Constructing invariants for hybrid systems
• Correct Hardware Design and Verification Methods
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Instantiation for Parameterised Boolean Equation Systems
• Invariants for Parameterised Boolean Equation Systems
• Model-checking processes with data
• Parameterised Boolean equation systems

Cited in

(8)

• Invariants for parameterised Boolean equation systems
• Instantiation for Parameterised Boolean Equation Systems
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations
• Parameterised Boolean equation systems
• Proof graphs for parameterised Boolean equation systems
• Invariants for Parameterised Boolean Equation Systems
• Static Analysis Techniques for Parameterised Boolean Equation Systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541018)