Posts by xueying

xueying · General

Thanks a lot

xueying · General

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.

xueying · General

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.

Spinroot