Proof-guided underapproximation-widening for multi-process systems
- 12 January 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (1) , 122-131
- https://doi.org/10.1145/1040305.1040316
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Completeness and Complexity of Bounded Model CheckingPublished by Springer Nature ,2004
- Counterexample-guided abstraction refinement for symbolic model checkingJournal of the ACM, 2003
- A Mechanized Proof Environment for the Convenient Computations Proof MethodFormal Methods in System Design, 2003
- Combining Software and Hardware Verification TechniquesFormal Methods in System Design, 2002
- Symbolic model checking using SAT procedures instead of BDDsPublished by Association for Computing Machinery (ACM) ,1999
- Verification of distributed programs using representative interleaving sequencesDistributed Computing, 1992
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesPublished by Springer Nature ,1992