CTL* model checking on a shared-memory architecture
- 11 July 2006
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 29 (2), 135-155
- https://doi.org/10.1007/s10703-006-0008-z
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Using Assumptions to Distribute Alternation Free μ-Calculus Model CheckingElectronic Notes in Theoretical Computer Science, 2003
- Using Assumptions to Distribute CTL Model CheckingElectronic Notes in Theoretical Computer Science, 2002
- Extended Overhead Analysis for OpenMPLecture Notes in Computer Science, 2002
- Local Parallel Model Checking for the Alternation-Free μ-CalculusLecture 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
- Distributing Timed Model Checking — How the Search Order MattersLecture Notes in Computer Science, 2000
- Parallel shared-memory state-space exploration in stochastic modelingLecture Notes in Computer Science, 1997