Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking

Data inizio
1 maggio 2002
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto

Enti finanziatori:

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

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario

Attività

Strutture