Exploiting partial variable assignment in interpolation-based model checking

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 a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal methods in system design 2019-12, Vol.55 (1), p.33-71
Hauptverfasser:	Jančík, Pavel, Kofroň, Jan, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha
Format:	Artikel
Sprache:	eng
Schlagworte:	CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Interpolation Program verification (computers) Software Engineering/Programming and Operating Systems State (computer science)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!