lbtt公司

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