- -

Abstract Diagnosis for tccp using a Linear Temporal Logic

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Abstract Diagnosis for tccp using a Linear Temporal Logic

Show full item record

Comini, M.; Titolo, L.; Villanueva García, A. (2014). Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory and Practice of Logic Programming. 14(4-5):787-801. doi:10.1017/S1471068414000349

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/47912

Files in this item

Item Metadata

Title: Abstract Diagnosis for tccp using a Linear Temporal Logic
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...[+]
Subjects: Concurrent constraint paradigm , Linear temporal logic , Abstract diagnosis , Decision procedures , Program verification
Copyrigths: Reserva de todos los derechos
Source:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068414000349
Publisher:
Cambridge University Press
Publisher version: http://dx.doi.org/10.1017/S1471068414000349
Conference name: 30th International Conference on Logic Programming
Conference place: Viena, Austria
Conference date: July, 2014
Thanks:
This work has been partially supported by the eu (feder) and the Spanish mec/micinn, ref. tin 2010-21062-c02-0, and by Generalitat Valenciana, ref. prometeo2011/052.
Type: Artículo Comunicación en congreso

This item appears in the following Collection(s)

Show full item record