Il laboratorio si occupa della modellazione e analisi di sistemi mediante metodi formali e sviluppo software con particolare attenzione alle sue prestazioni. Le attività includono l’uso di tecniche analitiche e simulazioni per l’analisi del comportamento di un sistema in generale, oltre allo sviluppo di algoritmi per la soluzione di modelli formali complessi. L’approccio integrato consente una valutazione rigorosa e ottimizzata della qualità dei sistemi con metodi ingegneristici.
Principali SSD coinvolti nelle attività del laboratorio sono IINF-05/A e INFO-01/A
Address:
Blocco B, piano 4, locale 433
date/time interval:
(January 1, 2005 - )