Larraz Hurtado, Daniel (Date of defense: 2015-07-28)
This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about ...