- Parallelization and modelling techniques for scalable SMT-based verification by Matteo Marescotti (2020)
- Controlled and Effective Interpolation by Leonardo de Sá Alt (2016)
- Automated Incremental Software Verification by Grigory Fedyukovich (2015)
- An SMT-based verification framework for software systems handling arrays by Francesco Alberti (2015)
- Craig Interpolation and Proof Manipulation: Theory and Applications to Model Checking by Simone Fulvio Rollini (2014)
- Scalable Abstractions for Efficient Security Checks by Aliaksei Tsitovich (2011)
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
