| Title: | Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking |
|---|---|
| Links: | Document as PDF |
| Authors: | Daniel Kroening EMail |
| Edmund Clarke EMail | |
| Karen Yorav | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{CKY03,
AUTHOR = { Kroening, Daniel
and Clarke, Edmund
and Yorav, Karen },
TITLE = { Behavioral Consistency of {C} and {Verilog} Programs Using Bounded Model Checking },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2003 },
PUBLISHER = { ACM Press },
PAGES = { 368--371 },
ISBN = { 1-58113-688-9 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.