Distributed LTL model-checking in SPIN
- 2 May 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 200-216
- https://doi.org/10.1007/3-540-45139-0_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Distributed LTL model-checking in SPINLecture Notes in Computer Science, 2001
- Scalable Distributed On-the-Fly Symbolic Model CheckingLecture Notes in Computer Science, 2000
- Achieving Scalability in Parallel Reachability Analysis of Very Large CircuitsLecture Notes in Computer Science, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Parallelizing the Murϕ verifierLecture Notes in Computer Science, 1997
- The Mur ϕ verification systemLecture Notes in Computer Science, 1996
- Distributed reachability analysis for protocol verification environmentsPublished by Springer Science and Business Media LLC ,1988
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972