-
Automated Verification of Blockchain Technologies with Correctness Guarantees by Rodrigo Otoni (2023) - Effective and flexible SMT-streamlined software model checking by Sepideh Asadi (2023)
- Effective Automated Software Verification: A Multilayered Approach by Martin Blicha (2023)
- 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)
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
