Astrazione e verifica

Data inizio
1 giugno 2002
Durata (mesi) 
12
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto
URL
http://www.daad.de/

Scopo del progetto e' quello di definire strumenti di verifica formale per il software basati su
predicate abstraction. Il progetto e' congiunto Universita' di Verona e Max Plank Institute.

Enti finanziatori:

Conferenza Rettori Universita' Italiane (CRUI)
Finanziamento: assegnato e gestito da un ente esterno all'ateneo

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato

Attività

Strutture