Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)

Corso a esaurimento (attivi gli anni successivi al primo)

Model Checking

Periodo
Aprile 2008

Docenti
Roberto Segala

Cicli in cui è offerta

21° ciclo
22° ciclo
23° ciclo

Descrizione

Il corso descrive il problema del model checking in generale presentando le principali logiche usate in letteratura (LTL, CTL, CTL*), i principali algoritmi e metodi simbolici, alcune tecniche di riduzione della complessità degli algoritmi (riduzione delle simmetrie, abstract model checking), e alcuni metodi per la gestione di paradigni avanzati (sistemi real-time e sistemi stocastici).