Adaptive interpolation-based model checking.
https://doi.org/10.1109/ASPDAC.2014.6742979
@inproceedings{DBLP:conf/aspdac/LaiWH14,
author = {Chien{-}Yu Lai and
Cheng{-}Yin Wu and
Chung{-}Yang (Ric) Huang},
title = {Adaptive interpolation-based model checking},
booktitle = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2014, Singapore, January 20-23, 2014},
pages = {744--749},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ASPDAC.2014.6742979},
doi = {10.1109/ASPDAC.2014.6742979},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LaiWH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签