Formal software verification

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Formal software verification
Maria Paola Bonacina
Professore ordinario
Competenze
Argomento Persone Descrizione
Verifica formale del software Maria Paola Bonacina
Applicazione di procedure di decisione per la soddisfacibilità modulo teorie (SMT) e assegnamenti (SMA) alla verifica dei programmi; generazione di invarianti, generazione di interpolanti di dimostrazioni, e raffinamento di astrazioni (per model checking o analisi statica) mediante dimostrazione automatica di teoremi.

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi