| Title: | Sound Static Deadlock Analysis for C/Pthreads |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Daniel Poetzl | |
| Peter Schrammel | |
| Bjoern Wachter | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{kpsw2016,
AUTHOR = { Kroening, Daniel
and Poetzl, Daniel
and Schrammel, Peter
and Wachter, Bjoern },
TITLE = { Sound Static Deadlock Analysis for {C/Pthreads} },
BOOKTITLE = { Automated Software Engineering (ASE) },
YEAR = { 2016 },
PUBLISHER = { ACM },
PAGES = { 379--390 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.