| Proposte di tesi | Area di ricerca |
|---|---|
| Analisi automatica della complessità di algoritmi | Argomenti vari |
| Analisi automatica di deadlock e robustezza di Java Bytecode | Argomenti vari |
| Analisi di sicurezza in codice mobile (firewalls intelligenti) | Argomenti vari |
| Analisi probabilistica di programmi | Argomenti vari |
| Combinazione di tecniche di accelerazione del punto fisso con trasformazioni di dominio in analisi statica | Argomenti vari |
| Domini astratti per l'analisi di sistemi real-time | Argomenti vari |
| Interpretazione astratta e analisi di immagini: Analisi di immagini con metodi formali | Argomenti vari |
| Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti | Argomenti vari |
| Struttura e complessità dei domini per l'analisi statica di programmi | Argomenti vari |
© 2026 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
