0

无论如何使用 NuSMV 将属性验证结果分配给变量？

例如： check_ctlspec "AG(lift.pressed -> lif.button)" 模型检查结果为： "AG(lift.pressed -> lif.button)" 为 TRUE

我需要将验证结果TRUE保存在x中，并使用这种方式来比较一些结果。

x:=check_ctlspec "AG(lift.pressed -> lif.button)" 即 x=TRUE

先感谢您

4

0 回答 0