Scaling model checking of dataraces using dynamic information

DOI10.1016/J.JPDC.2007.01.006zbMATH Open1116.68387OpenAlexW2042310182MaRDI QIDQ882147FDOQ882147

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

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

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)

Cited In (6)

• Automatic analysis of DMA races using model checking and \(k\)-induction
• Title not available (Why is that?)
• Framework for testing multi‐threaded Java programs
• Title not available (Why is that?)
• Euro-Par 2004 Parallel Processing
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

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)