- Automated Invariant Discovery for Efficient Security Checks
- 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
- Guiding SMT-Based Interpolation for Program Verification
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
