1. Home
  2. Universitat Politècnica de Catalunya
  3. Treballs acadèmics
  4. View Item

SMT-Based Methods for Difference Logic Invariant Generation

Author

Candeago, Lorenzo

Other authors

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

Oliveras Llunell, Albert

Rodríguez Carbonell, Enric

Larrosa Bondia, Francisco Javier

Publication date

2015-04-24

Share

Document Type

Master thesis

Language

English

Subjects and keywords

À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

Publisher

Universitat Politècnica de Catalunya

Recommended citation

This citation was generated automatically.

Export

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Rights

Restricted access - confidentiality agreement

This item appears in the following Collection(s)

Treballs acadèmics [82545]