Argomento | Persone | Descrizione |
---|---|---|
Analisi statica |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni Nicola Fausto Spoto |
Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. |
Quantitative Static Analysis |
Alessandra Di Pierro
|
Studio di metodi formali per l'analisi quantitativa dei programmi. Estensione delle tecniche classiche di analisi statica (data-flow, control-flow, abstract interpretation, type systems) all'analisi probabilistica e speculativa. |
Verification of wireless networks protocols |
Massimo Merro
|
Tecniche semantiche e di model checking, anche statistico, per la verifica della correttezza di protocolli di reti wireless |
******** CSS e script comuni siti DOL - frase 9957 ********p>