Distributed LTL Model Checking Based on Negative Cycle Detection
- 26 November 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 96-107
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Distributed LTL model-checking in SPIN2001
- Progress on the State Explosion Problem in Model Checking2001
- Parallel Model Checking for the Alternation Free μ-CalculusLecture Notes in Computer Science, 2001
- Scalable Distributed On-the-Fly Symbolic Model Checking2000
- Distributing Timed Model Checking — How the Search Order Matters2000
- Negative-cycle detection algorithmsMathematical Programming, 1999
- A parallelization of Dijkstra's shortest path algorithmLecture Notes in Computer Science, 1998
- Efficient Parallel Shortest-Paths in Digraphs with a Separator DecompositionJournal of Algorithms, 1996
- Optimal parallel shortest paths in small treewidth digraphs1995
- Distributed reachability analysis for protocol verification environments1988