Meta-analysis for Atomicity Violations under Nested Locking

DOI10.1007/978-3-642-02658-4_21zbMath1242.68065OpenAlexW1600422503MaRDI QIDQ3636865

Azadeh Farzan, P. Madhusudan, Francesco Sorrentino

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_21

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Model Checking Concurrent Programs ⋮ Symbolic predictive analysis for concurrent programs

This page was built for publication: Meta-analysis for Atomicity Violations under Nested Locking