Monitoring Atomicity in Concurrent Programs

DOI10.1007/978-3-540-70545-1_8zbMath1155.68365OpenAlexW2165422215MaRDI QIDQ3512481

Azadeh Farzan, P. Madhusudan

Publication date: 15 July 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

On the correctness problem for serializability ⋮ Automated Synthesis of Distributed Controllers ⋮ On Distributed Monitoring and Synthesis ⋮ Symbolic predictive analysis for concurrent programs ⋮ Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ⋮ The Complexity of Predicting Atomicity Violations ⋮ Strict Linearizability and Abstract Atomicity

This page was built for publication: Monitoring Atomicity in Concurrent Programs