Metodi Formali – Statale di Milano

Università degli Studi di Milano · Facoltà di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Alberto Davide Adolfo Momigliano Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica - magistrale ›

Il docente indica 2 testi · da studiare tutti

Benjamin – Logical Foundations Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Benjamin – Software Foundations Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Esploreremo delle tecniche formali per migliorare l'affidabilità del software, concentrandoci in particolare sulla specifica e dimostrazione di proprietà del software. La particolarità di questa parte è di essere costruita interamente all'interno di Rocq (formerly Coq), uno dei proof assistant (p.a.) più maturi ed usati. Un p.a.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.