A forum for Spin users
You are not logged in.
I am an almost new user of SPIN, and in the verification of SPIN.
for example I create a new variable a the type is byte
Does SPIN go over all random initiate values for a during the exhaustive verification .
like, a range is [0...255]
SPIN Checks all possible value of a ?
And I am also confused with the seed value when do the simulation.
What does it mean?
Thanks a lot.
Offline