Program verification via iterated specialization

We present a method for verifying properties of imperative programs by using techniques based on the specialization of constraint logic programs (CLP). We consider a class of imperative programs with integer variables and we focus our attention on safety properties, stating that no error configurati...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 95; S. 149 - 175
Hauptverfasser:	De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.12.2014
Schlagworte:	Constraint logic programming Program specialization Program transformation Software model checking Software model checking Constraint logic programming Program specialization Program transformation
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!