Peephole Partial Order Reduction
- 2 April 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Cartesian Partial-Order ReductionPublished by Springer Science and Business Media LLC ,2007
- Symbolic Model Checking for Asynchronous Boolean ProgramsLecture Notes in Computer Science, 2005
- Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsFormal Methods in System Design, 2004
- Symbolic Model Checking of SoftwareElectronic Notes in Theoretical Computer Science, 2003
- Optimistic Synchronization-Based State-Space ReductionLecture Notes in Computer Science, 2003
- Symbolic Model Checking without BDDsLecture Notes in Computer Science, 1999
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesFormal Methods in System Design, 1993
- All from one, one for all: on model checking using representativesLecture Notes in Computer Science, 1993
- Defining conditional independence using collapsesTheoretical Computer Science, 1992
- Stubborn sets for reduced state space generationLecture Notes in Computer Science, 1991