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