promela - PROMELA で書かれたコードをシミュレート中にエラーが発生しました

Question

ispin を使用していますが、spin: Trails end after 10 steps and transition fails というエラーが表示されます。

このエラーの発生を防ぐにはどうすればよいですか?

Answer 1

私は同じ問題を抱えていました-DVECTORSZ。

検証タブの高度なパラメータ設定ウィンドウで、物理メモリも 2048 に増やしました。