Il software è onnipresente nella nostra vita e non esiste praticamente alcun aspetto della società in cui il software non svolga un ruolo fondamentale. Sfruttando le sinergie derivanti dalla consapevolezza delle risorse nella sintassi, nella semantica e nell'analisi, l'obiettivo del progetto è quello di sviluppare tecniche, metodologie e strumenti automatici innovativi per misurare, certificare o confutare le proprietà oggi desiderabili dei moderni sistemi software.
| Aree di ricerca coinvolte dal progetto | |
|---|---|
|
Ingegneria del Software e Verifica Formale
Software creation and management |
|
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
