Exploiting partial variable assignment in interpolation-based model checking

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. Exploiting partial variable assignment in interpolation-based model checking. Formal Methods in System Design, 55(1):33-71, 2019. [doi]

Abstract

Abstract is missing.