Areas: detail

System Models

System Models

Coordinator/s: Mariangiola Dezani  

Staff:
Marco Aldinucci  
Lorenzo Bettini  
Viviana Bono  
Sara Capecchi  
Mario Coppo  
Ferruccio Damiani  
Ugo De' Liguoro  
Mariangiola Dezani  
Elio Giovannetti  
Ines Maria Margaria  
Luca Padovani  
Luca Roversi  
Eva Sciacca  
Salvatore Spinella  
Angelo Troina  
Maddalena Zacchi  

Attivita'

Lo scopo di questa ricerca e' lo sviluppo di calcoli che modellano gli aspetti chiave di sistemi complessi come le informazioni scambiate tra miliardi di dispositivi wired e wireless, protocolli business e finanziari la cui sicurezza deve essere certificata, o di sistemi biologici. L'attivita' di ricerca si concentra anche sui metodi per la modellazione
formale e sulla specifica di sistemi probabilistici e/o temporizzati, e sugli algoritmi per la verifica automatizzata delle loro proprieta'.

Ulteriori membri

Refers to:
Formal Methods in Computing

Sub Areas