Parallel breadth-first search LTL model-checking
- 24 January 2004
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Distributed Explicit Fair Cycle Detection (Set Based Approach)Lecture Notes in Computer Science, 2003
- Distributed LTL Model Checking Based on Negative Cycle DetectionLecture Notes in Computer Science, 2001
- Distributed LTL model-checking in SPINLecture Notes in Computer Science, 2001
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Efficient ω-regular language containmentLecture Notes in Computer Science, 1993
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972