SYMBAD: Formal Verification in System Level Based Design

  1. Home
  2. Research
  3. Projects
  4. 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
Full Professor
Research areas involved in the project
Sistemi ciberfisici
Network architectures

Activities

Research areas

Research groups

Sections

PhD Programmes

Research facilities