DiVinE – A Tool for Distributed Verification
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 278-281
- https://doi.org/10.1007/11817963_26
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Cluster-Based LTL Model Checking of Large SystemsLecture Notes in Computer Science, 2006
- UppDMC: A Distributed Model Checker for Fragments of the μ-CalculusElectronic Notes in Theoretical Computer Science, 2005
- Parallel state space construction for model-checkingLecture 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
- Distributed-Memory Model Checking with SPINLecture Notes in Computer Science, 1999