Munich – JLiSA, a software analysis tool developed by the Università di Parma and Università Ca' Foscari Venezia, has won the bronze medal in the Java track of SV-COMP, the world’s leading competition in software verification.
The result marks a major achievement for a project that began six years ago at Ca’ Foscari and is now carried out jointly with the University of Parma. The Parma team included Vincenzo Arceri, researcher at the Department of Mathematical, Physical and Computer Sciences, and Filippo Bianchi, a master’s student in Computer Science.
For Ca’ Foscari, the project involved the Software and System Verification (SSV) group, led by professors Agostino Cortesi and Pietro Ferrara, with researchers Luca Negrini and Luca Olivieri, and PhD candidates Giacomo Zanatta and Teodors Lisovenko.
Founded in 2012 by Dirk Beyer, professor at Ludwig Maximilian University of Munich, SV-COMP has become the global benchmark for software verification technologies. The results are presented annually at TACAS, one of the world’s leading conferences in the field, which will take place in Turin this April.
JLiSA achieved an outstanding third place in the Java track during its very first participation, standing out as the only 100% Italian technology competing this year. The tool is a static analyzer based on the LiSA - Library for Static Analysis framework, also developed by researchers from Parma and Ca’ Foscari, and is now widely used in both research and teaching activities at the two universities.
(9colonne)