(CoVer) Constraint-based Verification of Reactive systems

Data inizio
1 dicembre 2002
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto
URL
http://www.disi.unige.it/person/DelzannoG/cover/
Parole chiave
verifica, vincoli, sistemi reattivi, interpretazione astratta, vincoli

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Matteo Cristani
Ricercatore
Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Nicola Fausto Spoto
Professore associato

Attività

Strutture