Spinroot

ruiwang

Member

Registered: 2012-02-26

Posts: 3

Use Spin in the verification of large scale programs?

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.

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: Use Spin in the verification of large scale programs?

Check out the short list of examples on the main page at spinroot.com
It lists some large examples.