Spinroot

ruiwang

Member

Registered: 2012-02-26

Posts: 3

hi, everyone

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!

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: hi, everyone

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

ruiwang

Member

Registered: 2012-02-26

Posts: 3

Re: hi, everyone

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