CONCUR 2004 - Concurrency Theory
From MaRDI portal
Publication:5311482
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)