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