1

Promela と Spin を学習しましたが、モデルを検証しようとすると、これらの行が返されます。

ここに画像の説明を入力

彼らはどういう意味ですか？

ありがとう

4

2 に答える 2

0

おそらく、モデルにデッドロックまたはその他のエラーがあります。

完全なコンソール出力を投稿していただければ、おそらくこの回答を更新して、より多くの情報を提供できます!

于 2014-03-15T14:51:11.723 に答える