| Title: | Symbolic Counter Abstraction for Concurrent Software |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Gerard Basler |
| Michele Mazzucchi | |
| Thomas Wahl | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bmwk2009-cav,
AUTHOR = { Basler, Gerard
and Mazzucchi, Michele
and Wahl, Thomas
and Kroening, Daniel },
TITLE = { Symbolic Counter Abstraction for Concurrent Software },
BOOKTITLE = { Proceedings of CAV 2009 },
YEAR = { 2009 },
PUBLISHER = { Springer },
PAGES = { 64--78 },
SERIES = { LNCS },
VOLUME = { 5643 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.