Cartesian Partial-Order Reduction
- 30 August 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005
- Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsFormal Methods in System Design, 2004
- Transactions for Software Model CheckingElectronic Notes in Theoretical Computer Science, 2003
- Optimistic Synchronization-Based State-Space ReductionLecture Notes in Computer Science, 2003
- The SLAM ToolkitLecture Notes in Computer Science, 2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- An Improvement in Formal VerificationPublished by Springer Science and Business Media LLC ,1995
- All from one, one for all: on model checking using representativesLecture Notes in Computer Science, 1993
- Stubborn sets for reduced state space generationLecture Notes in Computer Science, 1991
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978