XTL: A meta-language and tool for temporal logic model-checking Export

@misc{citeulike:1110969, abstract = {We present a temporal logic model-checking environment based on a new language called Xtl (eXecutable Temporal Language). Xtl is a functional programming language designed to allow a compact description of various temporal logic operators, which are evaluated over a Labelled Transition System (Lts). Xtl offers primitives to access the data values (possibly) contained in the states and labels of the Lts, as well as to explore the transition relation. The temporal logic operators are...}, author = {Mateescu, R. and Garavel, H.}, citeulike-article-id = {1110969}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1435}, keywords = {model-check, xtl}, posted-at = {2007-02-18 03:26:52}, priority = {4}, title = {XTL: A meta-language and tool for temporal logic model-checking}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1435}, year = {1998} }

TY - GEN ID - citeulike:1110969 L3 - citeulike-article-id:1110969 N2 - We present a temporal logic model-checking environment based on a new language called Xtl (eXecutable Temporal Language). Xtl is a functional programming language designed to allow a compact description of various temporal logic operators, which are evaluated over a Labelled Transition System (Lts). Xtl offers primitives to access the data values (possibly) contained in the states and labels of the Lts, as well as to explore the transition relation. The temporal logic operators are... TI - XTL: A meta-language and tool for temporal logic model-checking KW - model-check KW - xtl AU - Mateescu, R AU - Garavel, H PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1435 ER -