| Title: | Verification of SpecC and Verilog using Predicate Abstraction |
|---|---|
| Links: | Document as PDF |
| Authors: | Edmund Clarke EMail |
| Himanshu Jain | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cjk2004,
AUTHOR = { Clarke, Edmund
and Jain, Himanshu
and Kroening, Daniel },
TITLE = { Verification of {SpecC} and {Verilog} using Predicate Abstraction },
BOOKTITLE = { Proceedings of MEMOCODE 2004 },
YEAR = { 2004 },
PUBLISHER = { IEEE },
PAGES = { 7--16 },
ISBN = { 0-7803-8509-8 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.