- -

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. http://hdl.handle.net/10251/35695.

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

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 rep- resents the behavior ...[+]
Palabras clave: Concurrent constraint paradigm , Linear temporal logic , Abstract diagnosis , Decision procedures , Program verification
Derechos de uso: Reserva de todos los derechos
Patrocinador:
EU (FEDER) and the Spanish MEC/MICINN, ref. TIN 2010-21062-c02-02
Generalitat Valenciana, ref. prometeo2011/052.
Tipo: Informe

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

Mostrar el registro completo del ítem