Invariants for parameterised Boolean equation systems
From MaRDI portal
Publication:960855
DOI10.1016/j.tcs.2009.11.001zbMath1191.68415OpenAlexW2044934647MaRDI QIDQ960855
Tim A. C. Willemse, Simona Orzan
Publication date: 29 March 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/invariants-for-parameterised-boolean-equation-systems(008bfa8d-04c5-4f63-8018-62efaed504bd).html
Related Items
Abstraction in Fixpoint Logic, Parity game reductions, Fold/Unfold Transformations for Fixpoint Logic, Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- 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
- Static Analysis Techniques for Parameterised Boolean Equation Systems
- A practical secret voting scheme for large scale elections
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Correct Hardware Design and Verification Methods
- Instantiation for Parameterised Boolean Equation Systems
- An axiomatic basis for computer programming
- Automata, Languages and Programming