A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Open Access
- 22 June 2007
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 174 (9) , 23-47
- https://doi.org/10.1016/j.entcs.2007.04.005
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Boogie: A Modular Reusable Verifier for Object-Oriented ProgramsPublished by Springer Nature ,2006
- A Statically Verifiable Programming Model for Concurrent Object-Oriented ProgramsPublished by Springer Nature ,2006
- Modular Verification of Static Class InvariantsPublished by Springer Nature ,2005
- Safe concurrency for aggregate objects with invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Checking Concise Specifications for Multithreaded Software.The Journal of Object Technology, 2004
- Verification of Object-Oriented Programs with Invariants.The Journal of Object Technology, 2004
- AtomizerACM SIGPLAN Notices, 2004
- Ownership types for safe programmingACM SIGPLAN Notices, 2002
- Extended static checking for JavaACM SIGPLAN Notices, 2002
- MonitorsCommunications of the ACM, 1974