![SSV Research Group](/images/ssv.png)
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 "International Journal on Software Tools for Technology Transfer"!
12 July 2024 -
Journal article published in "Software: Practice and Experience"!
1 May 2024
Latest events
-
Challenges of Software Verification Symposium 2024
6 June 2024 -
2023 (yet 2024!) SSV yearly workshop
12 January 2024
Who we are
![](/images/pfp-cortesi-agostino.png)
![](/images/pfp-ferrara-pietro.png)
![](/images/pfp-falcarin-paolo.jpg)
![](/images/pfp-spano-alvise.jpg)
![](/images/pfp-perezgort-maikel.jpg)
![](/images/pfp-caiazza-gianluca.jpg)
![](/images/pfp-negrini-luca.jpeg)
![](/images/pfp-olivieri-luca.jpg)
![](/images/pfp-das-souvick.jpg)
![](/images/pfp-bag-raunak.jpg)
![](/images/pfp-dolcetti-greta.png)
![](/images/pfp-zanatta-giacomo.jpg)
![](/images/pfp-boldini-giacomo.jpg)
![](/images/pfp-chowdhury-purbasha.jpg)
![](/images/pfp-arceri-vincenzo.jpg)
![](/images/2024-summer_fortemarghera.jpg)