Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
@inproceedings{DBLP:conf/cav/DonaldsonKKW11,
author = {Alastair F. Donaldson and
Alexander Kaiser and
Daniel Kroening and
Thomas Wahl},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {356-371},
publisher = {Springer},
year = {2011},
doi = {10.1007/978-3-642-22110-1_28},
}