Resumen:
This extended abstract is a summary of [5], where we provided an automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal (based on abstract interpretation techniques) does not require to build any model of the program, in constrast with standard verification methods such as model checking. Our results guarantee correctness but, as usual when using an abstract semantics, completeness is lost.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{prole:2015:026,
title={{Abstract Diagnosis for tccp using a Linear Temporal Logic}},
author={M. Comini and L. Titolo and A. Villanueva},
url={http://hdl.handle.net/11705/PROLE/2015/026},
booktitle={PROLE2015},
year={2015},
publisher={SISTEDES},
crossref={prole2015santander}
}
@proceedings{prole2015santander,
title={{Actas de las XV Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2015)}},
editor={Navarro, M.},
booktitle={PROLE2015},
year={2015},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar