Invariants for parameterised Boolean equation systems

DOI10.1016/J.TCS.2009.11.001MaRDI QIDQ960855zbMATH OpenOpenAlexFDO

Authors Simona Orzan, T. A. C. Willemse

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

invariantsmodel checkingfixed point theoryprocess theoryparameterised Boolean equation systems

Mathematics Subject Classification ID

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

Recommendations

• Invariants for Parameterised Boolean Equation Systems
• Instantiation for Parameterised Boolean Equation Systems
• Proof graphs for parameterised Boolean equation systems
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Parameterised Boolean equation systems

Cites work

• scientific article; zbMATH DE number 1701752 (Why is no real title available?)
• scientific article; zbMATH DE number 1303726 (Why is no real title available?)
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 2086524 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A practical secret voting scheme for large scale elections
• An axiomatic basis for computer programming
• Automata, Languages and Programming
• 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
• Results on the propositional \(\mu\)-calculus
• Static Analysis Techniques for Parameterised Boolean Equation Systems

Cited in

(10)

• Instantiation for Parameterised Boolean Equation Systems
• Operations on fixpoint equation systems
• scientific article; zbMATH DE number 7269247 (Why is no real title available?)
• Parity game reductions
• Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations
• Abstraction in fixpoint logic
• Parameterised Boolean equation systems
• Proof graphs for parameterised Boolean equation systems
• Invariants for Parameterised Boolean Equation Systems
• Fold/unfold transformations for fixpoint logic

Describes a project that uses

Uses Software

• CADP
• mCRL2

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 Q960855)