Model-checking processes with data
From MaRDI portal
Publication:2486254
DOI10.1016/J.SCICO.2004.08.002zbMath1082.68067OpenAlexW2140317178MaRDI QIDQ2486254
Jan Friso Groote, Tim A. C. Willemse
Publication date: 5 August 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/32746
\(\mu\)CRLProcess algebraModel checkingVerificationInfinite state systemsBoolean equation systemsModal \(\mu\)-calculus
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
Abstraction in Fixpoint Logic ⋮ Unnamed Item ⋮ Off-the-shelf automated analysis of liveness properties for just paths ⋮ Invariants for Parameterised Boolean Equation Systems ⋮ Invariants for parameterised Boolean equation systems ⋮ A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus ⋮ Verification of reactive systems via instantiation of parameterised Boolean equation systems ⋮ A Logic for True Concurrency ⋮ Static Analysis Techniques for Parameterised Boolean Equation Systems ⋮ Unnamed Item ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Parameterised Boolean equation systems ⋮ Instantiation for Parameterised Boolean Equation Systems
This page was built for publication: Model-checking processes with data
