scientific article; zbMATH DE number 1059329

zbMath0882.68090MaRDI QIDQ4353636

Antti Valmari

Publication date: 10 September 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent process-algebraic systems

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) Mechanization of proofs and logical operations (03B35)

Related Items (17)

Stubborn set reduction for timed reachability and safety games ⋮ Partial-Order Reduction ⋮ Optimistic synchronization-based state-space reduction ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Question-guided stubborn set methods for state properties ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ Exponential automatic amortized resource analysis ⋮ The inconsistent labelling problem of stutter-preserving partial-order reduction ⋮ A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time ⋮ On the Origin of Events: Branching Cells as Stubborn Sets ⋮ Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems ⋮ On stubborn sets in the verification of linear time temporal properties ⋮ Optimising the ProB model checker for B using partial order reduction ⋮ Stubborn Sets, Frozen Actions, and Fair Testing ⋮ Unnamed Item ⋮ On constructibility and unconstructibility of LTS operators from other LTS operators

This page was built for publication: