TCS（牵引力控制系统）/软件/磅/吨

磅/吨-LTL-to-Büchi翻译测试台

磅/吨是用于测试转换公式的程序的工具用命题线性时序逻辑（LTL）表示为Büchi自动机。该工具的目标是帮助LTL-to-Büchi翻译算法的正确实现通过为LTL-to-Büchi提供自动化测试环境翻译人员。此外，还可以使用测试环境对于不同的LTL-to-Büchi翻译人员的基本描述评估他们的表现。

（有关更多详细信息，请参阅文章``H.Tauriainen和K.Heljanko，测试LTL公式转换为Büchi automata，国际软件工具杂志技术转让（STTT）4（1）:57-702002“.一些参考资料工具中也提供了文档.)

获取源代码

磅/吨是使用C++开发的。可以编译源代码例如，GNU 3.0版（或更新版本）的可执行文件编译器集合（GCC）.

磅/吨是自由软件，您可以更改并重新发布它根据GNU通用公共许可证的条款。磅/吨来无担保。请参阅通用公共许可证了解详细信息。

下载源代码（版本1.2.1，2008年4月9日发布；MD5:08413电子邮箱82a06748ad2cc66e40eb83a)

文档

解压缩源代码后，请参阅自述文件文件获取简短的安装说明。

该工具的主要文档可以在用户指南中找到。使用以下链接可查看各种格式的文档（1.2.0版）。

旧版本

源代码的旧版本可用在这里.

链接

这个WWW表单可用于生成公式选项块用于磅/吨配置文件。该表单的支持有限用于指定公式的相对（而非绝对）优先级操作员。

以下是一些可用LTL到Büchi的链接（按字母顺序）翻译程序和模型检查工具，包括LTL-to-Büchi转换器模块。这个磅/吨源分发包括工具与LBT、SPIN和Spot接口的实用程序。

上次更新时间：2008年4月9日