Title: | Hardware Verification using ANSI-C Programs as a Reference |
---|---|
Links: | Document as PDF |
Authors: | Edmund Clarke EMail |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{CK03, AUTHOR = { Clarke, Edmund and Kroening, Daniel }, TITLE = { Hardware Verification using {ANSI-C} Programs as a Reference }, BOOKTITLE = { Proceedings of ASP-DAC 2003 }, YEAR = { 2003 }, PUBLISHER = { IEEE Computer Society Press }, PAGES = { 308--311 }, ISBN = { 0-7803-7659-5 }, MONTH = { January }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.