Sigref – A Symbolic Bisimulation Tool Box

DOI10.1007/11901914_35zbMath1161.68631OpenAlexW2130820909MaRDI QIDQ3522930

Kelley Strampp, Ralf Wimmer, Marc Herbstritt, Bernd Becker, Holger Hermanns

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/sigref--a-symbolic-bisimulation-tool-box(ec3f39f5-2aad-4fcc-9248-8891601d3ca6).html

Mathematics Subject Classification ID

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

Related Items (9)

On Abstraction of Probabilistic Systems ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Model Based Importance Analysis for Minimal Cut Sets ⋮ On the Minimisation of Acyclic Models ⋮ Polynomial time decision algorithms for probabilistic automata ⋮ Computing maximal weak and other bisimulations ⋮ The How and Why of Interactive Markov Chains ⋮ Game-theoretic simulation checking tool ⋮ Next-preserving branching bisimulation

Uses Software

• CUDD
• CADP

This page was built for publication: Sigref – A Symbolic Bisimulation Tool Box