Thread-Modular Model Checking
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 213-224
- https://doi.org/10.1007/3-540-44829-2_14
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Learning Assumptions for Compositional VerificationPublished by Springer Nature ,2003
- A generic approach to the static analysis of concurrent programs with proceduresPublished by Association for Computing Machinery (ACM) ,2003
- A generic approach to the static analysis of concurrent programs with proceduresACM SIGPLAN Notices, 2003
- A Modular Checker for Multithreaded ProgramsPublished by Springer Nature ,2002
- Thread-Modular Verification for Shared-Memory ProgramsPublished by Springer Nature ,2002
- Assumption generation for software component verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Context-sensitive synchronization-sensitive analysis is undecidableACM Transactions on Programming Languages and Systems, 2000
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983