Attività di Ricerca

Obiettivo

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à.

Aree


Research Activity

Objective

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.

Areas