The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.
Latest news:
- New paper published in Sensors Journal
- Chapter published in “Security in IoT”
- New paper published in “Information and Computation”
- New paper published in Elsevier’s “Ad Hoc Networks”
- Paper appearing in the 14th International Symposium on Foundations & Practice of Security