Sigref – A Symbolic Bisimulation Tool Box

DOI10.1007/11901914_35MaRDI QIDQ3522930zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• An efficient fully symbolic bisimulation algorithm for non-deterministic systems
• An efficient algorithm for computing bisimulation equivalence
• Rank-based symbolic bisimulation: (and model checking)
• A fully symbolic bisimulation algorithm
• Symbolic bisimulations

Cited in

(17)

• SIGREF
• Next-preserving branching bisimulation
• An efficient fully symbolic bisimulation algorithm for non-deterministic systems
• On Abstraction of Probabilistic Systems
• Using bisimulations for optimality problems in model refinement
• The how and why of interactive Markov chains
• A fully symbolic bisimulation algorithm
• Model Based Importance Analysis for Minimal Cut Sets
• On the Minimisation of Acyclic Models
• Rank-based symbolic bisimulation: (and model checking)
• Polynomial time decision algorithms for probabilistic automata
• Computing maximal weak and other bisimulations
• Equivalence checking 40 years after: a review of bisimulation tools
• Distributed coalgebraic partition refinement
• Compositional verification of priority systems using sharp bisimulation
• Coupled Similarity and Contrasimilarity, and How to Compute Them
• Game-theoretic simulation checking tool

Describes a project that uses

Uses Software

• CUDD
• CADP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522930)