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.

Period

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)