Multi-core SCC-Based LTL Model Checking
- 1 November 2016
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 30 references indexed in Scilit:
- Variations on Multi-Core Nested Depth-First SearchElectronic Proceedings in Theoretical Computer Science, 2011
- Properties of state spaces and their applicationsInternational Journal on Software Tools for Technology Transfer, 2008
- BEEM: Benchmarks for Explicit Model CheckersPublished by Springer Science and Business Media LLC ,2007
- A Note on On-the-Fly Verification AlgorithmsLecture Notes in Computer Science, 2005
- Tarjan’s Algorithm Makes On-the-Fly LTL Verification More EfficientLecture Notes in Computer Science, 2004
- Relating Hierarchy of Temporal Properties to Model CheckingLecture Notes in Computer Science, 2003
- On-the-fly Verification of Linear Temporal LogicLecture Notes in Computer Science, 1999
- Superlinear speedup in parallel state-space searchLecture Notes in Computer Science, 1988
- Finding the Maximum Strong Components in a Directed GraphPublished by Springer Science and Business Media LLC ,1982
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972