Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking

Starting date
May 1, 2002
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor

Activities

Research facilities