CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113MaRDI QIDQ5311482zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, T. A. C. Willemse

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100113

zbMATH Keywords

model checkinginfinite state systemsparameterised Boolean equation systemsfirst-order modal \(\mu\)-calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parameterised Boolean equation systems
• Instantiation for Parameterised Boolean Equation Systems
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Static Analysis Techniques for Parameterised Boolean Equation Systems

Cited in

(15)

• Abstraction in fixpoint logic
• Theoretical Aspects of Computing – ICTAC 2005
• Proof graphs for parameterised Boolean equation systems
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• A formalisation of consistent consequence for Boolean equation systems
• Invariants for Parameterised Boolean Equation Systems
• Formal Methods for Components and Objects
• Using SMT for solving fragments of parameterised Boolean equation systems
• Structural analysis of Boolean equation systems
• scientific article; zbMATH DE number 1956574 (Why is no real title available?)
• Parameterised Boolean equation systems
• Analysis of Boolean equation systems through structure graphs
• Instantiation for Parameterised Boolean Equation Systems
• Static Analysis Techniques for Parameterised Boolean Equation Systems
• Liveness analysis for parameterised Boolean equation systems

This page was built for publication: CONCUR 2004 - Concurrency Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311482)