Bounded Quantifier Instantiation for Checking Inductive Invariants. Feldman, Y. M. Y.; Padon, O.; Immerman, N.; Sagiv, M.; and Shoham, S. Log. Methods Comput. Sci., 2019.
Paper doi bibtex @article{DBLP:journals/lmcs/FeldmanPISS19,
author = {Yotam M. Y. Feldman and
Oded Padon and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
title = {Bounded Quantifier Instantiation for Checking Inductive Invariants},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:18)2019},
doi = {10.23638/LMCS-15(3:18)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FeldmanPISS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}