Invariants for Parameterised Boolean Equation Systems
DOI10.1007/978-3-540-85361-9_18zbMATH Open1160.68446OpenAlexW2117766442MaRDI QIDQ3541018FDOQ3541018
T. A. C. Willemse, Simona Orzan
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A lattice-theoretical fixpoint theorem and its applications
- Constructing invariants for hybrid systems
- Title not available (Why is that?)
- Model-checking processes with data
- Parameterised Boolean equation systems
- Instantiation for Parameterised Boolean Equation Systems
- 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
Cited In (6)
- Invariants for parameterised Boolean equation systems
- Instantiation for Parameterised Boolean Equation Systems
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- 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)
