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á bibliografie

Vydáno v:	Science of computer programming Ročník 95; s. 149 - 175
Hlavní autoři:	De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.12.2014
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!