Home » Archivo » Archvio 2009 » Analisi statica e verifica automatica - 2009/2010

Laurea Magistrale

Salta il menu di secondo livello

Analisi statica e verifica automatica - 6 CFU - A.A. 2009/2010

Insegnante

Prof. Francesco Ranzato

Periodo

I anno - 2 trimestre | 11/01/2010 - 12/03/2010

Curriculum:

Ore: 42 Frontali, 0 Laboratorio, 6 Esercizi

Torna su ▲

Programma del Corso

I principali argomenti trattati nel corso saranno i seguenti:

Introduzione al problema dell'analisi statica.
Semantiche approssimate.
Approssimazione mediante interpretazione astratta.
Domini astratti e calcolo di punto fisso astratto.
Interpretazione astratta dei linguaggi di programmazione.

Introduzione al problema della verifica automatica.
Modelli di sistemi reattivi di calcolo.
Linguaggi di specifica di proprietà temporali dei modelli.
Verifica mediante model checking e relativi algoritmi.
Model checking astratto.
Equivalenze indotte dai linguaggi.
Relazioni tra model checking ed interpretazione astratta.

Prerequisiti: Semantica dei Linguaggi di Programmazione

Propedeuticità:

Ausili Didattici:

Testi di Riferimento: Il materiale didattico verra` fornito dal docente in forma di dispense, slides, articoli scientifici.

Torna su ▲