Trace-Based Symbolic Analysis for Atomicity Violations

DOI10.1007/978-3-642-12002-2_27zbMath1284.68418OpenAlexW1581214603MaRDI QIDQ3557086

Chao Wang, Rhishikesh Limaye, Aarti Gupta, Malay K. Ganai

Publication date: 27 April 2010

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model Checking Concurrent Programs ⋮ Symbolic predictive analysis for concurrent programs ⋮ Dynamic symbolic verification of MPI programs

Uses Software

• Atomizer
• Velodrome
• SingleTrack

This page was built for publication: Trace-Based Symbolic Analysis for Atomicity Violations