Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

Source URL: jorgenavas.github.io

• Declarative programming
• Software engineering
• Theoretical computer science
• Constraint programming
• Logic programming
• Programming paradigms
• Formal methods
• Constraint logic programming
• Loop invariant
• Interpolation
• Abstract interpretation
• CLP

30 Ilaria Fioravanti e Maria Giulia Scolaro, Rosa, rosae – Declinare la rosa in cucina, Sagep, Genova 2016, pagg. 128 No se sciate chi no digeriva o latin a scheua: chi gh’é solo de riçètte, tante, dôsci e coscì

Source URL: www.acompagna.org

27 O BOCIÒU Publichemmo da o libbro Mess-ciua de poexie sensa preteis do nòstro sòccio Antonio Piero Fioravanti, che o ne l’à dæto pe-a nòstra biblioteca, pe no desmentegâ un zeugo ch’o l’é pe tutti e ben

Source URL: www.acompagna.org

SPARC-CSGennaio 2012 Backup e Restore di un database PostgreSQL Sandro Fioravanti INFN-LNF

Source URL: www.lnf.infn.it

SPARC-CSFebbraio 2012 Configurazione vacuometro 307 Granville-Phillips Sandro Fioravanti INFN-LNF

Source URL: www.lnf.infn.it

Removing Unnecessary Variables from Horn Clause Verification Conditions Emanuele De Angelis∗ and Fabio Fioravanti∗ Alberto Pettorossi∗

Source URL: hcvs2016.it.uu.se

Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy

Source URL: hcvs2016.it.uu.se

Transforming Constrained Horn Clauses for Program Verification Maurizio Proietti (IASI-CNR, Rome, Italy) Joint work with Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi Eindhoven, April 3rd, 2016

Source URL: hcvs2016.it.uu.se

Verifying Programs via Iterated Specialization Emanuele De Angelis, Fabio Fioravanti University G. D’Annunzio, Pescara, Italy {deangelis,fioravanti}@sci.unich.it

Source URL: www.iasi.cnr.it

Historia et ius rivista di storia giuridica dell’età medievale e moderna www.historiaetius.eupaper 19 Marco Fioravanti

Source URL: www.historiaetius.eu