Scaling model checking of dataraces using dynamic information

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

Assaf Schuster, Ohad Shacham, Mooly Sagiv

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

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

Uses Software

• Title not available (Why is that?)

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)