Parallelization and modelling techniques for scalable SMT-based verification, Marescotti, Matteo , Faculty of Informatics, 01.12.2020, Volume PhD, (2020)

• Google Scholar
• BibTeX

Scalable Abstractions for Efficient Security Checks, Tsitovich, Aliaksei , Lugano, p.164, (2011)

• Google Scholar
• BibTeX

An SMT-based verification framework for software systems handling arrays, Alberti, Francesco , Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)

• Google Scholar
• BibTeX