XTL swMATH ID: 21954 Software Authors: Garavel, H., Mateescu, R. Description: XTL (eXecutable Temporal Language) is a functional programming language interpreted over LTSs (Labelled Transition Systems) encoded in the BCG (Binary Coded Graph) file format. XTL can typically be used for implementing temporal logic operators, by describing their fixed point semantics as iterative or recursive computations over sets of states. More generally, XTL enables one to perform any computation on a BCG graph: for instance, it can compute the branching factor of a graph, print its list of labels, etc. XTL programs are compiled and evaluated on BCG graphs by using the xtl model checker. Homepage: http://cadp.inria.fr/man/xtl-lang.html Related Software: CADP; LNT2LOTOS; Exp.Open; SPIN; M-TREE; BISIMULATOR; MCGP; DLC; UNITY; Reo; LOTOS; TIMES; SCADE; D-Finder; CAESAR; CAESAR_SOLVE; Fiacre; E-LOTOS; Kronos Cited in: 4 Publications all top 5 Cited by 10 Authors 2 Lang, Frédéric 1 Blom, Stefan 1 Evrard, Hugues 1 Garavel, Hubert 1 Güdemann, Matthias 1 Mateescu, Radu 1 Orzan, Simona 1 Ouederni, Meriem 1 Salaün, Gwen 1 Serwe, Wendelin Cited in 1 Serial 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 4 Computer science (68-XX) Citations by Year