SMT-Based Methods for Difference Logic Invariant Generation

Autor/a

Candeago, Lorenzo

Otros/as autores/as

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

Oliveras Llunell, Albert

Rodríguez Carbonell, Enric

Larrosa Bondia, Francisco Javier

Fecha de publicación

2015-04-24

Tipo de documento

Master thesis

Lengua

Inglés

Materias y palabras clave

À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

Publicado por

Universitat Politècnica de Catalunya

Citación recomendada

Esta citación se ha generado automáticamente.

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Derechos

Restricted access - confidentiality agreement

Este ítem aparece en la(s) siguiente(s) colección(ones)

Treballs acadèmics [82549]