CoVer Project - Bologna Unit Home Page

Project Home Page
CoVer -- Constraint-Based Verification of Reactive Systems

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

December 2002 - December 2004.

National Coordinator
Prof. Maurizio Gabbrielli.

Local Project Title
Modello B

Local Coordinator
Prof. Maurizio Gabbrielli.

Local Members
Prof. Paolo Ciancarini
Prof. Cosimo Laneve
Dr. Davide Rossi
Dr. Luca Tesei
Members from other Universities
Prof. Alessandro Fantechi (Firenze)
Prof. Maria Chiara Meo (Chieti)
Members from other Institutions
Dr. Stefania Gnesi (Researcher at CNR)

Maurizio Gabbrielli
Last modified: Thu Mar 4 12:01:28 CET 2004