LTSmin: Distributed and Symbolic Reachability
Top Cited Papers
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Distributed Branching Bisimulation Minimization by Inductive SignaturesElectronic Proceedings in Theoretical Computer Science, 2009
- Symbolic Reachability for Process Algebras with Recursive Data TypesLecture Notes in Computer Science, 2008
- BEEM: Benchmarks for Explicit Model CheckersPublished by Springer Science and Business Media LLC ,2007
- Distributed Analysis with μCRL: A Compendium of Case StudiesLecture Notes in Computer Science, 2007
- An Embeddable Virtual Machine for State Space GenerationLecture Notes in Computer Science, 2007
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed ProcessesLecture Notes in Computer Science, 2007
- DiVinE – A Tool for Distributed VerificationLecture Notes in Computer Science, 2006
- Distributed state space minimizationInternational Journal on Software Tools for Technology Transfer, 2005
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997