To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/26062

Title:	SMT-Based Methods for Difference Logic Invariant Generation
Author:	Candeago, Lorenzo
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Larrosa Bondia, Francisco Javier
Subject(s):	-Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica -First-order logic -Invariant -lògica de diferències -satisfactibilitat mòdul teories -Invariant -difference logic -satisfiability modulo theories -Lògica de primer ordre
Rights:
Document type:	Research/Master Thesis
Published by:	Universitat Politècnica de Catalunya
Share:

Show full item record