Efficient Stateful Dynamic Partial Order Reduction
- 13 August 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Cartesian Partial-Order ReductionPublished by Springer Science and Business Media LLC ,2007
- LOCKSMITHPublished by Association for Computing Machinery (ACM) ,2006
- Stateful Dynamic Partial-Order ReductionLecture Notes in Computer Science, 2006
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005
- BogorACM SIGSOFT Software Engineering Notes, 2003
- CMCPublished by Association for Computing Machinery (ACM) ,2002
- Pointer and escape analysis for multithreaded programsPublished by Association for Computing Machinery (ACM) ,2001
- Model checking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Partial-Order Methods for the Verification of Concurrent SystemsLecture Notes in Computer Science, 1996