A modular checker for multithreaded programs

DOI10.1007/3-540-45657-0_14MaRDI QIDQ4804895zbMATH OpenFDO

Authors Cormac Flanagan, Sanjit A. Seshia, Shaz Qadeer

Publication date 1 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040180.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular verification of multithreaded programs
• Thread-modular verification for shared-memory programs
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Model checking of concurrent algorithms: from Java to C

Cited in

(12)

• Designing checkers for programs that run in parallel
• Runtime checking of multithreaded applications with visual threads
• LCTD: test-guided proofs for C programs on LLVM
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Checking a Multithreaded Algorithm with  + CAL
• A Basis for Verifying Multi-threaded Programs
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
• Thread-modular verification for shared-memory programs
• Computer Aided Verification
• Modular verification of multithreaded programs
• Optimistic synchronization-based state-space reduction
• Atomizer: A dynamic atomicity checker for multithreaded programs

Describes a project that uses

Uses Software

• ESC/Java
• Mercator

This page was built for publication: A modular checker for multithreaded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804895)