| Title | An SMT-based verification framework for software systems handling arrays |
| Publication Type | Thesis |
| Year of Publication | 2015 |
| Authors | Alberti, Francesco |
| Academic Department | Faculty of Informatics of the Università della Svizzera Italiana |
| Degree | PhD |
| Number of Pages | 188 |
| Date Published | 02/2015 |
| University | Università della Svizzera Italiana |
| City | Lugano |
| Thesis Type | Doctoral Dissertation |
| URL | http://www.falberti.it/thesis/phd.pdf |
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.
