| Title: | Computing Over-Approximations with Bounded Model Checking |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{BMC-K2005,
AUTHOR = { Kroening, Daniel },
TITLE = { Computing Over-Approximations with Bounded Model Checking },
BOOKTITLE = { Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005) },
YEAR = { 2006 },
PAGES = { 79--92 },
VOLUME = { 144 },
ISSUE = { 1 },
MONTH = { January },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.