Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking

  1. Home
  2. Research
  3. Projects
  4. 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 areas

Research groups

PhD Programmes

Research facilities

Share