CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113zbMATH Open1099.68670OpenAlexW2499482941MaRDI QIDQ5311482FDOQ5311482

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

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

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)

Cited In (15)

• Theoretical Aspects of Computing – ICTAC 2005
• Instantiation for Parameterised Boolean Equation Systems
• Formal Methods for Components and Objects
• Title not available (Why is that?)
• Analysis of Boolean equation systems through structure graphs
• Liveness analysis for parameterised Boolean equation systems
• Abstraction in fixpoint logic
• Using SMT for solving fragments of parameterised Boolean equation systems
• Parameterised Boolean equation systems
• A formalisation of consistent consequence for Boolean equation systems
• Proof graphs for parameterised Boolean equation systems
• Structural analysis of Boolean equation systems
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Invariants for Parameterised Boolean Equation Systems
• Static Analysis Techniques 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)