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.