SMT-Based Methods for Difference Logic Invariant Generation

Autor/a

Candeago, Lorenzo

Altres autors/es

Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

Oliveras Llunell, Albert

Rodríguez Carbonell, Enric

Larrosa Bondia, Francisco Javier

Data de publicació

2015-04-24

Tipus de document

Master thesis

Llengua

Anglès

Matèries i paraules clau

À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

Publicat per

Universitat Politècnica de Catalunya

Citació recomanada

Aquesta citació s'ha generat automàticament.

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Drets

Restricted access - confidentiality agreement

Aquest element apareix en la col·lecció o col·leccions següent(s)

Treballs acadèmics [82549]