Exploiting partial variable assignment in interpolation-based model checking

Pavel Jancík
Pavel Jancík
Jan Kofron
Jan Kofron
Antti E. J. Hyvärinen
Antti E. J. Hyvärinen

Formal Methods in System Design, pp. 33-71, 2019.

Cited by: 1|Bibtex|Views3|Links
EI
Keywords:
Craig interpolant Refutation Heuristics Reduction Variable assignment

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments