CTL或LTL，如何选择？

时间：2019-06-10 20:17:21

标签： formal-verification nusmv ctl

我想知道何时使用ctl或ltl定义属性

是否有一个示例显示了不能用ltl表示的Ctl属性，反之亦然？

0 个答案:

没有答案
相关问题
最新问题