Invariants for parameterised Boolean equation systems

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

zbMATH Keywords

invariantsfixed point theorymodel checkingprocess theoryparameterised Boolean equation systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Abstraction in Fixpoint Logic, Parity game reductions, Fold/Unfold Transformations for Fixpoint Logic, Unnamed Item

Uses Software

• mCRL2
• CADP

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