Spinroot

A forum for Spin users

You are not logged in.

#1 General » Use Spin in the verification of large scale programs? » 2012-03-05 13:01:50

ruiwang
Replies: 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.

#2 Re: General » hi, everyone » 2012-02-27 09:59:57

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).

#3 General » hi, everyone » 2012-02-26 09:33:22

ruiwang
Replies: 2

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!

Board footer

Powered by FluxBB