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.