Metodi formali
A.A. 2025/2026
Learning objectives
L'insegnamento intende esplorare le tecniche formali per migliorare l'affidabilità del software, con un focus particolare sulla specifica e dimostrazione di proprietà del software. Gli strumenti scelti sono i model checker simbolici e la della dimostrazione assistita dal calcolatore.
Expected learning outcomes
Lo studente sarà in grado di modellare e dimostrare la correttezza di semplici proprietà del software usando un insieme di tools presentati nelle ore di laboratorio.
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Course syllabus and organization
Edizione unica
Programma
Il programma è condiviso con i seguenti insegnamenti:
- [FBA-31](https://www.unimi.it/it/ugov/of/af20260000fba-31)
- [FBA-31](https://www.unimi.it/it/ugov/of/af20260000fba-31)
Professor(s)