Dynamic partial-order reduction for model checking software
- 12 January 2005
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (1), 110-121
- https://doi.org/10.1145/1047659.1040315
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Software Model Checking: The VeriSoft ApproachFormal Methods in System Design, 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
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- FrangipaniPublished by Association for Computing Machinery (ACM) ,1997
- Model checking using net unfoldingsScience of Computer Programming, 1994
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesFormal Methods in System Design, 1993
- Defining conditional independence using collapsesTheoretical Computer Science, 1992
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978