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)
Maurizio Gabbrielli
Last modified: Thu Mar 4 12:01:28 CET 2004