lbtt公司

lbtt-一个LTL-to-Büchi翻译测试台。lbtt是一个用于测试将命题线性时态逻辑(LTL)表示的公式转换为B的程序的工具ü气自动机。该工具的目标是帮助正确实现LTL-to-Bü为LTL-to-B提供自动测试环境的chi翻译算法ü志翻译。此外,测试环境可以用于对不同的LTL-to-B进行非常基本的评测ü志翻译评估他们的表现。