Modular verification of multithreaded programs
Authors:
- Cormac FlanaganCFCormac Flanagan
- Stephen N. FreundSFStephen N. Freund
- Shaz QadeerSQShaz Qadeer
- Sanjit A. SeshiaSSSanjit A. Seshia
- 10 June 2005
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 338 (1-3) , 153-183
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 Java2003
- A parameterized type system for race-free Java programs2001
- Parameterized Verification of Multithreaded Software LibrariesLecture Notes in Computer Science, 2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions2000
- Barrier inference1998
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Logical foundations for compositional verification and development of concurrent programs in UNITYLecture Notes in Computer Science, 1995
- Synchronization primitives for a multiprocessor: a formal specification1987
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975