(AGENPARL) - Roma, 17 Febbraio 2026 - (AGENPARL) – Tue 17 February 2026 COMUNICATO STAMPA
STRUMENTI DI ANALISI DEL SOFTWARE SVILUPPATI A CA’ FOSCARI SUL PODIO MONDIALE
Una tecnologia sviluppata all’Università Ca’ Foscari Venezia ottiene la medaglia di bronzo nella track Java di SVCOMP, la maggiore competizione mondiale del settore
VENEZIA – Una tecnologia sviluppata dall’Università Ca’ Foscari Venezia per implementare strumenti di verifica del software ha ottenuto la terza posizione a SVCOMP 2026, la principale competizione del settore. Un risultato eccezionale, frutto di un lavoro iniziato sei anni fa e realizzato in collaborazione con l’Università di Parma.
La tecnologia nasce inizialmente come prodotto della tesi di dottorato industriale in Informatica di Luca Negrini, concluso nel 2023 a Ca’ Foscari. Il progetto, denominato LiSA (Library for Static Analysis), ha portato negli anni a numerosi prodotti e pubblicazioni scientifiche presentati in diverse conferenze e riviste internazionali del settore. Il progetto è stato portato avanti all’interno del gruppo di ricerca “Software and System Verification” (SSV) guidato dai professori Agostino Cortesi e Pietro Ferrara. LiSA offre un framework generico che può essere applicato a diversi linguaggi di programmazione e tecnologie.
In particolare, negli ultimi mesi, LiSA è stato esteso per l’analisi di programmi Java. Grazie ad un lavoro di squadra che ha coinvolto ricercatori e dottorandi cafoscarini (lo stesso Luca Negrini, Luca Olivieri, Gianluca Zanatta e Teodors Lisovenko) in collaborazione con l’Università di Parma, ed in particolare con il ricercatore Vincenzo Arceri e lo studente magistrale Filippo Bianchi.
La “Competition on Software Verification (SV-COMP)” (https://sv-comp.sosy-lab.org/) nasce nel lontano 2012 per iniziativa di Dirk Beyer, professore ordinario presso l’LMU di Monaco di Baviera ed uno dei massimi esperti del settore. Negli anni ha raggiunto una sempre maggiore popolarità, ed attualmente è l’evento di riferimento del settore. I risultati di tale competizione vengono presentati a TACAS (una delle maggiori conferenze mondiali in ambito di verifica software che quest’anno si terrà a Torino ad aprile) e vedono la partecipazione di circa un centinaio di tecnologie diverse sviluppate a livello mondiale. LiSA ha partecipato alla track su programmi Java, ottenendo uno stupefacente terzo posto, considerato che si trattava della prima partecipazione di questo strumento. Si tratta inoltre dell’unica tecnologia 100% made in Italy che ha partecipato quest’anno a SVCOMP.
LiSA è oggi utilizzata dal team SSV di Ca’ Foscari sia per attività di ricerca, con una produzione scientifica consolidata, sia nella didattica, in particolare nei corsi dedicati all’analisi statica e alla verifica del software, contribuendo alla formazione di competenze avanzate in un settore cruciale per l’affidabilità dei sistemi digitali. La tecnologia cafoscarina riguarda l’“analisi statica”, ovvero tecniche per individuare errori, vulnerabilità o proprietà del software che si applicano al codice sorgente e che si basano su solidi fondamenti logico-matematici, assicurando la correttezza dei risultati prodotti.
Questa attività di ricerca e sviluppo è co-finanziata dallo Spoke 6 “Sicurezza del software e delle piattaforme” del progetto PNRR SERICS, coordinato dall’Università Ca’ Foscari e ulteriore riconoscimento della rilevanza dell’ateneo veneziano sui temi della Cybersecurity.
FOTO DEL GRUPPO DI RICERCA
Università Ca’ Foscari Venezia
Ufficio Comunicazione e Promozione di AteneoSettore Relazioni con i media
Le news di Ca’ Foscari: news.unive.it