Spinroot

A forum for Spin users

You are not logged in.

#1 2012-03-05 13:01:50

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.

Offline

#2 2012-03-05 16:01:29

spinroot
forum
Registered: 2010-11-18
Posts: 691
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.

Offline

Board footer

Powered by FluxBB