Adaptive interpolation-based model checking.

Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Browse the full ASPDAC paper archive.