- "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.
