Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/26062

SMT-Based Methods for Difference Logic Invariant Generation
Candeago, Lorenzo
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Larrosa Bondia, Francisco Javier
À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
info:eu-repo/semantics/masterThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem

 

Coordinación

 

Patrocinio