Bisimulation minimization and symbolic model checking

DOI10.1023/A:1016091902809zbMath1018.68052OpenAlexW1525386718MaRDI QIDQ698435

Moshe Y. Vardi, Kathi Fisler

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016091902809

zbMATH Keywords

symbolic model checkingbisimulation minimizationinvariant propertieson-the-fly model checking

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

Unnamed Item ⋮ On divergence-sensitive weak probabilistic bisimilarity ⋮ Statistical model checking of stochastic component-based systems ⋮ Branching vs. Linear Time: Semantical Perspective ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ On symbolic OBDD-based algorithms for the minimum spanning tree problem ⋮ Unnamed Item ⋮ An efficient simulation algorithm on Kripke structures ⋮ Logical characterizations of simulation and bisimulation for fuzzy transition systems ⋮ Symbolic graphs: Linear solutions to connectivity related problems ⋮ Efficient Coalgebraic Partition Refinement

Uses Software

• fc2tools

This page was built for publication: Bisimulation minimization and symbolic model checking