Funded projects

Model Checkers
​​Pincette -- Validating Changes and Upgrades in Networked Software
Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
Detection of Security Vulnerabilities by Guided Model Checking - continuation
Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Runtime Verification beyond Monitoring (ARVI)
Decision Procedures
Beyond Symbolic Model Checking through Deep Modelling (Swiss National Science Foundation project 200021_185031)
From Parallel SMT to Parallel Software Verification
Harnessing Parallel Computing for Model Checking
Guiding SMT-Based Interpolation for Program Verification
Quality of Interpolants in Model Checking
Automated Invariant Discovery for Efficient Security Checks