1

SMV ファイル内のプロパティに名前を付ける方法を知りたいです。

私はこれを行いましたが、端末からのみです（次のコードを参照）

NuSMV > add_property  -c -p "AG !(Object1.state = ready &  AX Object2.state = running)" -n "first"        
NuSMV > check_property
4

1 に答える 1