Title: | Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) |
---|---|
Links: | Homepage Document as PDF |
Authors: | Eugene Goldberg |
Matthias Güdemann | |
Daniel Kroening EMail | |
Rajdeep Mukherjee | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{ggkm2018, AUTHOR = { Goldberg, Eugene and G{\"u}demann, Matthias and Kroening, Daniel and Mukherjee, Rajdeep }, TITLE = { Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) }, BOOKTITLE = { Design, Automation and Test in Europe (DATE) }, YEAR = { 2018 }, PUBLISHER = { IEEE }, PAGES = { 43--48 }, ISBN = { 978-3-9819263-0-9 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.