- -

Abstract Diagnosis for tccp using a Linear Temporal Logic

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Abstract Diagnosis for tccp using a Linear Temporal Logic

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Abstract Diagnosis for tccp using a Linear Temporal Logic
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 behavior ...[+]
Palabras clave: Concurrent constraint paradigm , Linear temporal logic , Abstract diagnosis , Decision procedures , Program verification
Derechos de uso: Reserva de todos los derechos
Fuente:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068414000349
Editorial:
Cambridge University Press
Versión del editor: http://dx.doi.org/10.1017/S1471068414000349
Patrocinador:
EU (FEDER)
Spanish MEC/MICINN [TIN2010-21062-C02-0]
Generalitat Valenciana [PROMETEO2011/052]
Tipo: Artículo

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

Mostrar el registro completo del ítem