Formal Verification and Security Lab

Home
People
Research
Tools
Publications
PhD Dissertations
Talks
Teaching
Funded projects
Semester projects

You are here

Home » Funded projects

Funded projects

In progress (1)

(2019 - 2023) Beyond Symbolic Model Checking through Deep Modelling

Completed (9)

(2017 - 2019) From Parallel SMT to Parallel Software Verification
(2016 - 2018) Guiding SMT-Based Interpolation for Program Verification
(2014 - 2018) Runtime Verification beyond Monitoring (ARVI)
(2014 - 2016) Harnessing Parallel Computing for Model Checking
(2013 - 2015) Quality of Interpolants in Model Checking
(2010 - 2013) Pincette -- Validating Changes and Upgrades in Networked Software
(2009 - 2013) Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
(2008 - 2010) Detection of Security Vulnerabilities by Guided Model Checking - extension
(2006 - 2008) Detection of Security Flaws and Vulnerabilities by Guided Model Checking

The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.