An SMT-based verification framework for software systems handling arrays

TitleAn SMT-based verification framework for software systems handling arrays
Publication TypeThesis
Year of Publication2015
AuthorsAlberti, F.
Academic DepartmentFaculty of Informatics of the Università della Svizzera Italiana
DegreePhD
Number of Pages188
Date Published02/2015
UniversityUniversità della Svizzera Italiana
CityLugano
Thesis TypeDoctoral Dissertation
URLhttp://www.falberti.it/thesis/phd.pdf