The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.
Latest news
-
Journal article published in "Journal of Systems and Software"!
1 October 2024 -
Conference paper published!
20 September 2024
Latest events
-
Challenges of Software Verification Symposium 2024
6 June 2024 -
2023 (yet 2024!) SSV yearly workshop
12 January 2024