Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

DOI10.1007/978-3-540-88387-6_11MaRDI QIDQ3540069zbMATH OpenOpenAlexFDO

Authors Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Scaling model checking of dataraces using dynamic information
• Dynamic partial-order reduction for model checking software
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Thread-modular abstraction refinement.
• Atomizer: A dynamic atomicity checker for multithreaded programs

Cites work

• Dynamic partial-order reduction for model checking software
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Parametric and Sliced Causality
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Cited in

(4)

• Conditional must not aliasing for static race detection
• Symbolic predictive analysis for concurrent programs
• Testing for race conditions in distributed systems via SMT solving
• Scaling model checking of dataraces using dynamic information

Describes a project that uses

Uses Software

• CIL
• RacerX
• CESAR
• LOCKSMITH
• RELAY
• Eraser
• Valgrind
• CHESS
• veriSoft
• ESC/Java

This page was built for publication: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

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