A linear temporal logic model checking method over finite words with correlated transition attributes
Resumen: Temporal logic model checking techniques are applied, in a natural way, to the analysis of the set of finite traces composing a system log. The specific nature of such traces helps in adapting traditional techniques in order to extend their analysis capabilities. The paper presents an adaption of the classical Timed Propositional Temporal Logic to the case of finite words and considers relations among different attributes corresponding to different events. The introduced approach allows the use of general relations between event attributes by means of freeze quantifiers as well as future and past temporal operators. The paper also presents a decision procedure, as well as a study of its computational complexity.
Idioma: Inglés
Año: 2017
Publicado en: CEUR Workshop Proceedings 2016 (2017), 23-37
ISSN: 1613-0073

Originalmente disponible en: Texto completo de la revista

Factor impacto SCIMAGO:

Financiación: info:eu-repo/grantAgreement/ES/MINECO/TIN2014-56633-C3-2-R
Tipo y forma: Artículo (Versión definitiva)
Área (Departamento): Lenguajes y Sistemas Informáticos (Departamento de Informática e Ingeniería de Sistemas)

Creative Commons Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace.


Exportado de SIDERAL (2018-04-11-11:56:44)

Este artículo se encuentra en las siguientes colecciones:
Artículos > Artículos por área > Lenguajes y Sistemas Informáticos



 Registro creado el 2018-04-11, última modificación el 2018-04-11


Versión publicada:
 PDF
Valore este documento:

Rate this document:
1
2
3
 
(Sin ninguna reseña)