Sigref – A Symbolic Bisimulation Tool Box
From MaRDI portal
Publication:3522930
DOI10.1007/11901914_35zbMath1161.68631MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Equivalence checking 40 years after: a review of bisimulation tools, SIGREF, Polynomial time decision algorithms for probabilistic automata, Computing maximal weak and other bisimulations, Game-theoretic simulation checking tool, Next-preserving branching bisimulation, On Abstraction of Probabilistic Systems, The How and Why of Interactive Markov Chains, Model Based Importance Analysis for Minimal Cut Sets, On the Minimisation of Acyclic Models
Uses Software