scientific article; zbMATH DE number 1059329
From MaRDI portal
Publication:4353636
zbMath0882.68090MaRDI QIDQ4353636
Publication date: 10 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
