| Title: | Counterexample-Guided Abstraction Refinement for Symmetric Concurrent Programs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Alastair Donaldson |
| Alexander Kaiser | |
| Daniel Kroening EMail | |
| Michael Tautschnig | |
| Thomas Wahl | |
| Remarks: | |
| Topics: |
Bibtex:
@article{dkkw2012-fmsd,
AUTHOR = { Donaldson, Alastair
and Kaiser, Alexander
and Kroening, Daniel
and Tautschnig, Michael
and Wahl, Thomas },
TITLE = { Counterexample-Guided Abstraction Refinement for Symmetric Concurrent Programs },
YEAR = { 2012 },
PUBLISHER = { Springer },
PAGES = { 25--44 },
JOURNAL = { Formal Methods in System Design (FMSD) },
VOLUME = { 41 },
NUMBER = { 1 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.