000069708 001__ 69708
000069708 005__ 20180411131042.0
000069708 0248_ $$2sideral$$a104728
000069708 037__ $$aART-2017-104728
000069708 041__ $$aeng
000069708 100__ $$aCouvreur, J.M.
000069708 245__ $$aA linear temporal logic model checking method over finite words with correlated transition attributes
000069708 260__ $$c2017
000069708 5060_ $$aAccess copy available to the general public$$fUnrestricted
000069708 5203_ $$aTemporal 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.
000069708 536__ $$9info:eu-repo/grantAgreement/ES/MINECO/TIN2014-56633-C3-2-R
000069708 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/
000069708 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion
000069708 700__ $$0(orcid)0000-0002-9622-8186$$aEzpeleta, J.$$uUniversidad de Zaragoza
000069708 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDepartamento de Informática e Ingeniería de Sistemas$$cLenguajes y Sistemas Informáticos
000069708 773__ $$g2016 (2017), 23-37$$pCEUR workshop proc.$$tCEUR Workshop Proceedings$$x1613-0073
000069708 85641 $$uhttp://ceur-ws.org/Vol-2016/paper3.pdf$$zTexto completo de la revista
000069708 8564_ $$s306025$$uhttps://zaguan.unizar.es/record/69708/files/texto_completo.pdf$$yVersión publicada
000069708 8564_ $$s61222$$uhttps://zaguan.unizar.es/record/69708/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000069708 909CO $$ooai:zaguan.unizar.es:69708$$particulos$$pdriver
000069708 951__ $$a2018-04-11-11:56:44
000069708 980__ $$aARTICLE