ISTITUTO DI A NALISI DEI SISTEMI ED INFORMATICA CONSIGLIO NAZIONALE DELLE RICERCHE E. De Angelis, F. Fioravanti, A. Pettorossi, M. Proietti VERIFYING PROGRAMS VIA ITERATED SPECIALIZATION R. 22 2012 Emanuele De Angelis – Department of Sciences, University G. D’Annunzio, Pescara, Italy, and Istituto di Analisi dei Sistemi ed Informatica del CNR, Viale Manzoni 30, I-00185 Roma, Italy. Email : deangelis@sci.unich.it. URL: http://www.sci.unich.it/ ~ deangelis. Fabio Fioravanti – Department of Sciences, University G. D’Annunzio, Pescara, Italy. Email : fioravanti@sci.unich.it. URL: http://www.sci.unich.it/ ~ fioravan. Alberto Pettorossi – Department of Informatics, University of Rome Tor Vergata, Via del Politecnico 1, I-00133 Roma, Italy, and Istituto di Analisi dei Sistemi ed Informatica del CNR, Viale Manzoni 30, I-00185 Roma, Italy. Email : pettorossi@info.uniroma2.it. URL : http://www.iasi.cnr.it/ ~ adp. Maurizio Proietti – Istituto di Analisi dei Sistemi ed Informatica del CNR, Viale Manzoni 30, I-00185 Roma, Italy. Email : maurizio.proietti@iasi.cnr.it. URL : http://www.iasi.cnr.it/ ~ proietti. ISSN: 1128–3378