Modular verification of multithreaded programs
- 10 June 2005
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 338 (1-3) , 153-183
- https://doi.org/10.1016/j.tcs.2004.12.006
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Compositional Action System RefinementFormal Aspects of Computing, 2003
- Inductive Proof Outlines for Monitors in JavaPublished by Springer Nature ,2003
- A parameterized type system for race-free Java programsPublished by Association for Computing Machinery (ACM) ,2001
- Parameterized Verification of Multithreaded Software LibrariesPublished by Springer Nature ,2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler ExtensionsPublished by Defense Technical Information Center (DTIC) ,2000
- Barrier inferencePublished by Association for Computing Machinery (ACM) ,1998
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Logical foundations for compositional verification and development of concurrent programs in UNITYPublished by Springer Nature ,1995
- Synchronization primitives for a multiprocessor: a formal specificationPublished by Association for Computing Machinery (ACM) ,1987
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975