The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.

Who we are

More info »