| 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.