Partial-order reduction in symbolic state space exploration
- 1 January 1997
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 340-351
- https://doi.org/10.1007/3-540-63166-6_34
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- Formal verification of a partial-order reduction technique for model checkingLecture Notes in Computer Science, 1996
- A Partial Approach to Model CheckingInformation and Computation, 1994
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- All from one, one for all: on model checking using representativesLecture Notes in Computer Science, 1993
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Stubborn sets for reduced state space generationLecture Notes in Computer Science, 1991
- Basic notions of trace theoryPublished by Springer Science and Business Media LLC ,1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- An O(n log n) unidirectional distributed algorithm for extrema finding in a circleJournal of Algorithms, 1982