A forum for Spin users
You are not logged in.
Pages: 1
Any body know that has Spin been used in the verification of large scale programs?
I mean, in the verification of the model of a large scale program, more than 10 KLOC.
Thanks a lot.
thank you very much!> spinroot wrote:
> Hi -- there are two books on spin's design. Especially the first one (from 1991) has a lot of details on the implementation (this was for spin version 1 of course).
Recently, I have some idea about LTL model checking and I want to implement it in spin.
I have been analyzing spin' s code for some time. I find that there is not any comment to help me understand spin's framework.
I want to known if there is some material to help me understand spin's code. Thank you!
Pages: 1