Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2099.1/26062
Títol:
|
SMT-Based Methods for Difference Logic Invariant Generation
|
Autor/a:
|
Candeago, Lorenzo
|
Altres autors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Larrosa Bondia, Francisco Javier |
Matèries:
|
-À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 |
Drets:
|
|
Tipus de document:
|
Treballs d'investigació/Fi de màster |
Publicat per:
|
Universitat Politècnica de Catalunya
|
Compartir:
|
|
Mostra el registre complet del document