Exploiting partial variable assignment in interpolation-based model checking
Formal Methods in System Design, pp. 33-71, 2019.
Craig interpolant Refutation Heuristics Reduction Variable assignment
Craig interpolation has been successfully employed in symbolic program verification as a means of abstraction for sets of program states. In this article, we present the partial variable assignment interpolation system, an extension of the labeled interpolation system, enriched by partial variable assignments. It allows for both generatio...More
Full Text (Upload PDF)
PPT (Upload PPT)