DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 445-449
- https://doi.org/10.1007/11691372_30
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Distributed On-the-Fly Equivalence CheckingElectronic Notes in Theoretical Computer Science, 2005
- Parallel state space construction for model-checkingLecture Notes in Computer Science, 2001
- State Space Reduction Using Partial τ-ConfluenceLecture Notes in Computer Science, 2000
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998