Metodi formali

Tecniche matematiche per la progettazione, realizzazione e verifica di sistemi software.

La ricerca sui metodi formali sfrutta tecniche matematiche per la progettazione, realizzazione e verifica di sistemi software, usualmente ad alta complessità o con requisiti di qualità particolarmente stringenti. Questa ricerca copre un ampio spettro di attività, che vanno da studi teorici sulle proprietà fondamentali della calcolabilità e dell'interazione a dimostratori di teoremi (anche interattivi, ovvero capaci di sviluppare dimostrazioni formali e verificabili automaticamente tramite collaborazione uomo-macchina), da modelli di sistemi concorrenti a modelli con ricche teorie matematiche con cui specificare e verificare proprietà salienti dei sistemi, quali assenza di deadlock, possibilmente tramite strumenti automatici o semi-automatici.

Progetti in corso

Persone

Metodi formali

Progetti in corso

Persone

Roberta Calegari

Roberto Casadei

Ugo Dal Lago

Maurizio Gabbrielli

Simone Gazza

Saverio Giallorenzo

Roberto Gorrieri

Ivan Lanese

Cosimo Laneve

Simone Martini

Ghulam Mustafa

Andrea Omicini

Luca Padovani

Claudio Sacerdoti Coen

Davide Sangiorgi

Mirko Viroli