• English
• Italiano

Metodi Formali

Linguaggi per la descrizione e la specifica dei sistemi hardware e software.
Metodi formali per la verifica di proprietà di sistemi software e hardware, validazione di sistemi hardware e software, mediante Bounded Model Checking (BMC).

Metodi formali per lo sviluppo di software critico, verifica formale della security di software.

Gruppi di ricerca

• Formal Methods for Software Engineering Group
  
  • Metodi formali per lo sviluppo di software e sistemi distribuiti di categoria safety-critical e security-critical
• Metodi formali
  
  • Linguaggi per la descrizione e la specifica dei sistemi hardware e software.
  • Metodi formali per la verifica di proprietà di sistemi software e hardware, validazione di sistemi hardware e software, mediante Bounded Model Checking (BMC).