Property-specific sequential invariant extraction for SAT-based unbounded model checking.
https://doi.org/10.1109/ICCAD.2011.6105402
@inproceedings{DBLP:conf/iccad/YehWH11,
author = {Hu{-}Hsi Yeh and
Cheng{-}Yin Wu and
Chung{-}Yang (Ric) Huang},
editor = {Joel R. Phillips and
Alan J. Hu and
Helmut Graeb},
title = {Property-specific sequential invariant extraction for SAT-based unbounded
model checking},
booktitle = {2011 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2011, San Jose, California, USA, November 7-10, 2011},
pages = {674--678},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCAD.2011.6105402},
doi = {10.1109/ICCAD.2011.6105402},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/YehWH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签