Scaling model checking of dataraces using dynamic information

DOI10.1016/J.JPDC.2007.01.006MaRDI QIDQ882147zbMATH OpenOpenAlexFDO

Authors Ohad Shacham, Mooly Sagiv, Assaf Schuster

Publication date 23 May 2007

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.6739

zbMATH Keywords

model checkingmultithreadingdata race detectiondataracelockset

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Thread-modular abstraction refinement.
• scientific article; zbMATH DE number 1728452

Cited in

(6)

• Automatic analysis of DMA races using model checking and k-induction
• scientific article; zbMATH DE number 1728452 (Why is no real title available?)
• Framework for testing multi‐threaded Java programs
• scientific article; zbMATH DE number 2089170 (Why is no real title available?)
• Euro-Par 2004 Parallel Processing
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

Describes a project that uses

Uses Software

• Wolf

This page was built for publication: Scaling model checking of dataraces using dynamic information

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