Counterexample-guided abstraction refinement for symmetric concurrent programs
@article{DBLP:journals/fmsd/DonaldsonKKTW12,
author = {Alastair F. Donaldson and
Alexander Kaiser and
Daniel Kroening and
Michael Tautschnig and
Thomas Wahl},
title = {Counterexample-guided abstraction refinement for symmetric concurrent programs},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {25-44},
year = {2012},
doi = {10.1007/S10703-012-0155-3},
}