SYMBAD: Formal Verification in System Level Based Design

Starting date
March 1, 2002
Duration (months)
27
Departments
Computer Science
Managers or local contacts
Fummi Franco

Sponsors:

Unione Europea
Funds: assigned and managed by the department
Syllabus: EUROPA - Progetti Europei

Project participants

Nicola Drago
Temporary Professor
Alessandro Fin
Franco Fummi
Full Professor
Massimo Poncino
Graziano Pravadelli
Associate Professor
Research areas involved in the project
Sistemi ciberfisici
Networks - Network architectures

Activities

Research facilities