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

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 95; pp. 149 - 175
Main Authors:	De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.12.2014
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!