Dalla semantica operazionale all'analisi dinamica dei sistemi

Durata: 28 ore

Periodo didattico: secondo semestre

Programma

SSD: INF/01

prof.ssa Carla Piazza

Programma

Il corso di propone di introdurre gli strumenti alla base delle tecniche di analisi dinamica di sistemi.
Verranno presentati i concetti fondanti della semantica operazionale e verranno forniti esempi concreti su semplici linguaggi (e.g., CCS, IMP).
Verranno formalizzate equivalenze osservazionali standard (e.g., equivalenza a tracce e bisimulazione).
Si introdurranno semplici logiche per la verifica di proprietà di sistemi.
Verranno mostrati esempi di applicazione nel caso della control flow security.