Hardware validation

  1. Home
  2. Research
  3. Research areas
  4. Hardware validation
Tiziano Villa
Professore onorario
Research interests
Topic People Description
Embedded system verification Tiziano Villa
Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share