磅/吨 swMATH ID: 29442 软件作者： H.Tauriainen；K.赫尔扬科 说明： lbtt-一个LTL-to-Büchi翻译测试台。lbtt是一种测试程序的工具，用于将命题线性时序逻辑（LTL）中表示的公式转换为Büchi自动机。该工具的目标是通过为LTL-to-Büchi翻译人员提供自动化测试环境，帮助正确实现LTL-to-Büchi翻译算法。此外，测试环境可以用于对不同的LTL-to-Büchi翻译人员进行非常基本的评测，以评估他们的性能。 主页： http://www.tcs.hut.fi/软件/lbtt/ 相关软件： 低l2ba;斑点;自旋蛋白;伊莎贝尔;伊莎贝尔/HOL;ltlfit公司;LBT（磅）;自交系;ltlcross公司;伙计;CUDD公司;可视信息系统;Cadence SMV公司;NuSMV公司 引用于： 5文件 全部的 前5名14位作者引用 2 秦、郑 2 Shan、Laixiang 1 陈明石 1 杜晓敏 1 亚历山大·杜雷特·卢茨 1 何继峰 1 拉森，金·古尔德斯特朗 1 李建文 1 浦、葛光 1 秦军 1 亚历山大·辛普夫 1 简·格奥尔格·斯玛斯 1 王，郑 1 张丽君 2篇连载文章中引用 1 应用数学杂志 1 计算机科学前沿 在2个字段中引用 5 数学逻辑和基础（03-XX） 5 计算机科学（68至XX） 按年份列出的引文