National Research Project: CoVer

Project Title

CoVer -- Constraint-Based Verification of Reactive Systems

Kind

Collaborative MURST Project between the universities of Bologna, Genova, Padova, Parma, Udine e Verona.

Period

December 2002 - December 2004.

National Coordinator

Prof. Maurizio Gabbrielli.

Local Project Title

Modello B

Local Coordinator

Prof. Roberto Bagnara.

Local Members

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

[Page last updated on December 24, 2004, 14:42:30.]