## 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) |