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

Celý popis

Podrobná bibliografia

Vydané v:	Science of computer programming Ročník 95; s. 149 - 175
Hlavní autori:	De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.12.2014
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!