| Title: | Cogent: Accurate theorem proving for program verification |
|---|---|
| Links: | Document as PDF |
| Authors: | Byron Cook |
| Daniel Kroening EMail | |
| Natasha Sharygina | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cks2005,
AUTHOR = { Cook, Byron
and Kroening, Daniel
and Sharygina, Natasha },
TITLE = { Cogent: Accurate theorem proving for program verification },
BOOKTITLE = { Proceedings of CAV 2005 },
YEAR = { 2005 },
PUBLISHER = { Springer },
PAGES = { 296--300 },
ISBN = { 3-540-27231-3 },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 3576 },
EDITOR = { Etessami, Kousha and Rajamani, Sriram K. },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.