| Title: | VCEGAR: Verilog CounterExample Guided Abstraction Refinement |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Himanshu Jain |
| Daniel Kroening EMail | |
| Natasha Sharygina | |
| Edmund Clarke | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{jksc2007,
AUTHOR = { Jain, Himanshu
and Kroening, Daniel
and Sharygina, Natasha
and Clarke, Edmund },
TITLE = { {VCEGAR}: Verilog CounterExample Guided Abstraction Refinement },
BOOKTITLE = { Proceedings of TACAS 2007 },
YEAR = { 2007 },
PUBLISHER = { Springer },
PAGES = { 583--586 },
ISBN = { 978-3-540-71208-4 },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 4424 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.