拉布尼泽

rabinizer3是一个从LTL公式生成小型确定性Rabin自动机和更小的确定性广义Rabin自动机的工具。它是免费和开源的。您可以在下面免费下载该工具及其源代码。发布是在GNU通用公共许可证(GPL)版本2下进行的。该工具已使用ltlcross进行了测试。所实现的算法在Isabelle中被证明是正确的。如有疑问,请联系Jan Kretinsky。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换