scientific article

zbMath0765.68118MaRDI QIDQ4037401

Rance Cleaveland

Publication date: 18 May 1993

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

zbMATH Keywords

Hennessy-Milner logicbisimulation equivalenceKanellakis-Smolka bisimulation algorithmverifying finite-state systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Process Algebra and Model Checking, Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence, Fixpoint Theory -- Upside Down, Exploring probabilistic bisimulations. I, Equivalence checking 40 years after: a review of bisimulation tools, Unnamed Item, Generating diagnostic information for behavioral preorders, Constructive logical characterizations of bisimilarity for reactive probabilistic systems, Fixpoint theory -- upside down, Bisimulation for labelled Markov processes, Unnamed Item, A game for linear-time-branching-time spectroscopy