| Title: | A Widening Approach to Multi-Threaded Program Verification |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Alexander Kaiser |
| Daniel Kroening EMail | |
| Thomas Wahl | |
| Remarks: | |
| Topics: |
Bibtex:
@article{kkw2014-toplas,
AUTHOR = { Kaiser, Alexander
and Kroening, Daniel
and Wahl, Thomas },
TITLE = { A Widening Approach to Multi-Threaded Program Verification },
YEAR = { 2014 },
PUBLISHER = { ACM },
PAGES = { 14:1--14:29 },
JOURNAL = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
VOLUME = { 36 },
ISSUE = { 4 },
MONTH = { October },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.