Cluster-Based LTL Model Checking of Large Systems
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 259-279
- https://doi.org/10.1007/11804192_13
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Distributed breadth-first search LTL model checkingFormal Methods in System Design, 2006
- A distributed algorithm for strong bisimulation reduction of state spacesInternational Journal on Software Tools for Technology Transfer, 2005
- Time-Efficient Model Checking with Magnetic DiskLecture Notes in Computer Science, 2005
- Sequential and distributed model checking of Petri netsInternational Journal on Software Tools for Technology Transfer, 2004
- Parallel breadth-first search LTL model-checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- 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
- Distributing Timed Model Checking — How the Search Order MattersLecture Notes in Computer Science, 2000
- On a routing problemQuarterly of Applied Mathematics, 1958