Adaptive interpolation-based model checking ASP-DAC 2014 2014 作者：Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang
