National Research Project: COFIN'99

Project Title

Automatic Program Certification by Abstract Interpretation

Kind

Collaborative MURST Project between the universities of Parma, Pisa, Udine, Venezia, Verona (COFIN'99).

Period

February 2000 - February 2002.

National Coordinator

Prof. Roberto Giacobazzi.

Local Project Title

Tools and Techniques for Efficient Program Analysis

Local Coordinator

Prof. Gianfranco Rossi.

Local Members

Prof. Roberto Bagnara
Prof. Gianfranco Rossi
Dr. Enea Zaffanella

[Page last updated on January 24, 2005, 14:47:57.]