Parallelization and modelling techniques for scalable SMT-based verification,
, Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
Scalable Abstractions for Efficient Security Checks,
, Lugano, p.164, (2011)
An SMT-based verification framework for software systems handling arrays,
, Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)
Pages
- « first
- ‹ previous
- 1
- 2
- 3
- 4