scientific article
From MaRDI portal
Publication:4037087
zbMath0786.68069MaRDI QIDQ4037087
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatic verification of concurrent systemsreduced state spacelinear time temporal logic specifications
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
A technique of state space search based on unfolding ⋮ Using integer programming to verify general safety and liveness properties ⋮ Model-checking for real-time systems ⋮ Exploiting interleaving semantics in symbolic state-space generation ⋮ Comparing transition systems with independence and asynchronous transition systems ⋮ The Birth of Model Checking ⋮ A stubborn attack on state explosion ⋮ Specification and automatic verification of self-timed queues ⋮ Verification of distributed programs using representative interleaving sequences ⋮ Combining partial-order reductions with on-the-fly model-checking. ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ Covering Steps Graphs of Time Petri Nets ⋮ Modular Synthesis of Timed Circuits using Partial Orders on LPNs ⋮ Compositional verification of asynchronous concurrent systems using CADP
