Intro
Ci sono tecnologie che non finiscono mai sotto i riflettori, eppure determinano il livello di affidabilità del mondo digitale in cui viviamo.
Non hanno un’interfaccia da mostrare, non sono app da scaricare, non diventano facilmente oggetto di storytelling mainstream. Eppure sono quelle che decidono se un software bancario sarà sicuro, se un’infrastruttura industriale potrà resistere a un errore logico, se una piattaforma enterprise sarà davvero affidabile.
È in questo spazio invisibile ma strategico che si muove LiSA, la tecnologia italiana che negli ultimi mesi è salita sul podio mondiale della software verification, conquistando il terzo posto alla SV-COMP 2026, la più importante competizione internazionale dedicata alla verifica automatica del software.
Più che un semplice risultato, è il segnale di una trasformazione profonda: l’Italia che compete ai massimi livelli non solo nella manifattura o nella robotica, ma anche nelle fondamenta teoriche del software moderno.
LiSA, Library for Static Analysis, nasce all’interno del gruppo Software and System Verification dell’Università Ca’ Foscari di Venezia e si sviluppa come framework modulare per l’analisi statica multi-linguaggio del codice. La sua architettura si fonda sull’abstract interpretation, una delle discipline più sofisticate dell’ingegneria del software.
In termini semplici, significa leggere il codice senza eseguirlo, attraversarne la logica e prevederne i possibili comportamenti prima ancora che entri in produzione.
Il punto chiave
Il valore di LiSA non è soltanto individuare errori, ma dimostrare matematicamente proprietà del software prima che venga eseguito. È questo passaggio che trasforma la verifica del codice da attività di controllo a vera infrastruttura di fiducia digitale.
Oggi questo approccio è sempre più strategico. Il software governa sistemi finanziari, supply chain, dispositivi medicali, piattaforme cloud e infrastrutture industriali. In tutti questi contesti, identificare vulnerabilità e comportamenti inattesi prima del rilascio significa ridurre rischio, costi e superficie di attacco.
Il progetto si è evoluto ulteriormente con JLiSA, il frontend dedicato ai programmi Java che ha contribuito al podio internazionale. È una traiettoria che racconta non solo eccellenza tecnica, ma anche capacità di trasferimento tecnologico e visione industriale.
“La qualità del software non si misura solo quando gira, ma nella capacità di dimostrarne la correttezza prima ancora dell’esecuzione.”
— Team di ricerca LiSA, Università Ca’ Foscari
Perché conta davvero
In un’economia sempre più secure by design, strumenti come LiSA non sono semplici software accademici: diventano leve strategiche per cybersecurity, compliance e affidabilità dei sistemi enterprise.
C’è poi un elemento ancora più interessante. LiSA nasce da una tesi di dottorato industriale di Luca Negrini, evolvendosi grazie alla collaborazione tra Università Ca’ Foscari e Università di Parma.
Questo dettaglio racconta molto del momento che sta vivendo il tech italiano. Non più solo adozione di framework globali, ma produzione di strumenti originali, modelli teorici e librerie che contribuiscono a ridefinire il modo in cui il software viene costruito e validato.
È qui che il Made in Italy Tech cambia scala: non più solo applicazioni, ma metodi.
La notizia dietro la notizia
Il vero valore del podio mondiale non è la classifica, ma il segnale culturale che porta con sé: l’Italia sta iniziando a contribuire alle regole con cui il software globale viene verificato e protetto.
Conclusione
Il terzo posto mondiale di LiSA è molto più di un riconoscimento tecnico.È la prova che anche nelle aree più invisibili e sofisticate del software engineering, l’Italia può giocare un ruolo di primo piano. In un’epoca in cui la sicurezza del codice coincide sempre più con la sicurezza dei sistemi economici e sociali, costruire strumenti capaci di leggere gli errori prima che esistano significa costruire fiducia.
E la fiducia, oggi, è una delle infrastrutture più preziose del digitale.
LiSA racconta proprio questo: un’Italia che non si limita a usare il software, ma inizia a definirne le fondamenta.
