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 }, MONTH = { January }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.