Title: | Accelerating Invariant Generation |
---|---|
Links: | Homepage Document as PDF |
Authors: | Kumar Madhukar |
Bjoern Wachter | |
Daniel Kroening EMail | |
Matt Lewis | |
Mandayam Srivas | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{mwkls2015, AUTHOR = { Madhukar, Kumar and Wachter, Bjoern and Kroening, Daniel and Lewis, Matt and Srivas, Mandayam }, TITLE = { Accelerating Invariant Generation }, BOOKTITLE = { Formal Methods in Computer-Aided Design (FMCAD) }, YEAR = { 2015 }, PAGES = { 105--111 }, ISBN = { 978-0-9835678-5-1 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.