Tools and techniques for efficient program analysis


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:

Project description: Report on first year activities (in Italian)

Final report (in Italian)