Analisi statica del codice: con LiSA la tecnologia italiana sale sul podio mondiale
LiSA, il framework di Ca’ Foscari per la verifica del software, conquista il terzo posto a SVCOMP 2026 nella categoria Java. Progetto co-finanziato da...
Leggi tutto →