Distributed Explicit Fair Cycle Detection (Set Based Approach)
- 15 April 2003
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- A Performance Study of Distributed Timed Automata Reachability AnalysisElectronic Notes in Theoretical Computer Science, 2002
- Comparing Symbolic and Explicit Model Checking of a Software SystemLecture Notes in Computer Science, 2002
- 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
- Parallel Model Checking for the Alternation Free μ-CalculusLecture Notes in Computer Science, 2001
- Scalable Distributed On-the-Fly Symbolic Model CheckingLecture Notes in Computer Science, 2000
- Efficient Decision Procedures for Model Checking of Linear Time Logic PropertiesLecture Notes in Computer Science, 1999
- VISPublished by Springer Science and Business Media LLC ,1996
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986