LTL交叉

比较了跨LTA翻译工具的翻译输出。它实际上是LBTT的一个基于Spot的克隆,LTL-to-Büchi翻译测试台,基本上执行相同的健全性检查。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. Duret Lutz,Alexandre:使用Spot 1.0操纵LTL公式(2013)