sviluppo di metodologie e strumenti per la generazione automatica di programmi concorrenti a partire da specifiche formali di sistemi software, garantendo che i programmi così prodotti rispettino requisiti di correttezza funzionale e affidabilità.
developing methodologies and tools for the automatic generation of concurrent programs from formal specifications of software systems, by guaranteeing that the produced programs comply with functional correctness and reliability requirements.