Home » Archivo » Archvio 2011 » Analisi statica e verifica del software - 2011/2012

Laurea Magistrale

Salta il menu di secondo livello

Analisi statica e verifica del software - 8 CFU - A.A. 2011/2012

Insegnante

Prof. Francesco Ranzato

Periodo

I anno - 3 trimestre | 12/04/2012 - 16/06/2012

Curriculum:

Ore: 64 Frontali, 0 Laboratorio, 0 Esercizi

Torna su ▲

Programma del Corso

Semantica operazionale di programmi. Semantica denotazionale di programmi.
Analisi statica di programmi mediante interpretazione astratta.
Analisi statica dataflow di programmi. Verifica di sistemi software mediante model checking.
Tool di analisi statica: Microsoft Visual Studio e absint.com.

Prerequisiti: Conoscenza di base dei linguaggi di programmazione.
Basic knowledge of programming languages.

Propedeuticità:

Ausili Didattici: - -

Testi di Riferimento: H.Riis Nielson, F. Nielson.
Semantics with Applications: A Formal Introduction. Wiley, 1992.
(freely available electronic version).
Dispense fornite dal docente.

Torna su ▲