Spinroot

A forum for Spin users

You are not logged in.

Forum rules

No advertising and no spam please. If you post advertising material anyway you are banned from the forum and your post is deleted almost immediately. The forum is for discussing topics specifically related to logic model checking and software verification techniques, and primarily focused on the verification system Spin.

Board footer

Powered by FluxBB