Static Analysis Techniques for Parameterised Boolean Equation Systems

DOI10.1007/978-3-642-00768-2_22zbMath1234.68263OpenAlexW1605821400MaRDI QIDQ3617762

Wieger Wesselink, Simona Orzan, Tim A. C. Willemse

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_22

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

Abstraction in Fixpoint Logic, Consistent Consequence for Boolean Equation Systems, Parity game reductions, Invariants for parameterised Boolean equation systems, Verification of reactive systems via instantiation of parameterised Boolean equation systems

Cites Work

• 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
• Grammar Analysis and Parsing by Abstract Interpretation
• Algebraic Methodology and Software Technology
• Instantiation for Parameterised Boolean Equation Systems
• Unnamed Item
• Unnamed Item