Financial support: M.U.R.S.T. Co-financed project
Part of the National project:
         "Automatic Program Certification by Abstract Interpretation"
National project coordinator: Roberto Giacobazzi, Univ. di Verona

Local project coordinator: Gianfranco Rossi, Univ. di Parma
Period: Feb. 2000 - Feb. 2002

Project home page

Local Members of the project:

• Roberto Bagnara
• Gianfranco Rossi
• Enea Zaffanella

• Global (in Italian)
• Local - University of Parma (summary (in Italian); full document)

Final report (in Italian)