nuxmv

1熱

1答えて

NuXMV実数の使用

私は開発中の作品にnuXmvを使用していますが、私はRealsを使用してトラブルを抱えています。 Suposeは私がプログラムを持っている： MODULE main VAR t : Real; r : 0..5000; ASSIGN init(t):=0; init(r):=0; TRANS case r>=500 :nex

model-checking nuxmv 2017-05-26

---