JLiSA analizzatore del software sviluppato dall' Università di Parma è sul podio mondiale
Medaglia di bronzo nella track Java di SV-COMP, la maggiore competizione mondiale del settore, alla prima partecipazione JLiSA, un analizzatore del software sviluppato dall'Università di Parma e dall'Università Ca' Foscari di Venezia, ha ottenuto la medaglia di bronzo nella track Java di SV-COMP, la maggiore competizione mondiale del settore. Un risultato eccezionale, frutto di un lavoro iniziato 6 anni fa all'Università Ca' Foscari e ora svolto in collaborazione con l'Università di Parma. Nel team per Unipr Vincenzo Arceri, ricercatore di Informatica al Dipartimento di Scienze Matematiche, Fisiche e... 🔗 Leggi su Parmatoday.it
Articoli correlati
Leggi anche: La National Security Agency Usa sceglie un sistema di verifica software targato Università di Parma e Ca’ Foscari
Leggi anche: Milano sul podio mondiale… degli utenti di OnlyFans
➜