Title: | Verification of Concurrent Software |
---|---|
Links: | Homepage Document as PDF |
Authors: | Daniel Kroening EMail |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{k2016, AUTHOR = { Kroening, Daniel }, TITLE = { Verification of Concurrent Software }, BOOKTITLE = { Dependable Software Systems Engineering }, YEAR = { 2016 }, PUBLISHER = { IOS Press }, PAGES = { 159--178 }, ISBN = { 978-1-61499-626-2 }, EDITOR = { Javier Esparza and Orna Grumberg and Salomon Sickert }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.