Scalable Multi-core LTL Model-Checking
- 30 August 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- CTL* model checking on a shared-memory architectureFormal Methods in System Design, 2006
- DiVinE – A Tool for Distributed VerificationLecture Notes in Computer Science, 2006
- Parallel breadth-first search LTL model-checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-CheckingLecture Notes in Computer Science, 2004
- Distributed Explicit Fair Cycle Detection (Set Based Approach)Lecture Notes in Computer Science, 2003
- Relating Hierarchy of Temporal Properties to Model CheckingLecture Notes in Computer Science, 2003
- Distributed LTL Model Checking Based on Negative Cycle DetectionLecture Notes in Computer Science, 2001
- Is There a Best Symbolic Cycle-Detection Algorithm?Lecture Notes in Computer Science, 2001
- Property specification patterns for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1998
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992