Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
From MaRDI portal
Publication:3540069
DOI10.1007/978-3-540-88387-6_11zbMath1183.68383OpenAlexW1600817717MaRDI QIDQ3540069
Yu Yang, Ganesh Gopalakrishnan, Aarti Gupta, Chao Wang
Publication date: 20 November 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_11
Related Items
Uses Software
Cites Work