Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/26062
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Oliveras Llunell, Albert |
dc.contributor | Rodríguez Carbonell, Enric |
dc.contributor | Larrosa Bondia, Francisco Javier |
dc.contributor.author | Candeago, Lorenzo |
dc.date | 2015-04-24 |
dc.identifier.citation | 104533 |
dc.identifier.uri | http://hdl.handle.net/2099.1/26062 |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica |
dc.subject | First-order logic |
dc.subject | Invariant |
dc.subject | lògica de diferències |
dc.subject | satisfactibilitat mòdul teories |
dc.subject | Invariant |
dc.subject | difference logic |
dc.subject | satisfiability modulo theories |
dc.subject | Lògica de primer ordre |
dc.title | SMT-Based Methods for Difference Logic Invariant Generation |
dc.type | info:eu-repo/semantics/masterThesis |