XTL公司

XTL(eXecutable Temporal Language,可执行时态语言)是一种在以BCG(二进制编码图)文件格式编码的LTSs(标签转换系统)上解释的函数式编程语言。XTL通常可用于实现时态逻辑运算符,通过将其不动点语义描述为对状态集的迭代或递归计算。更一般地说,XTL使人们能够在BCG图上执行任何计算:例如,它可以计算图的分支因子、打印其标签列表等。XTL程序是通过使用XTL模型检查器在BCG图上编译和评估的。