Spinroot

A forum for Spin users

You are not logged in.

#1 2014-12-20 00:19:13

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

New Online Course on Software Verification and Spin Model Checking

For an overview, see:  http://spinroot.com/course

The course covers the automata theoretic foundation for Spin, model extraction with Modex, abstraction and search methods, and swarm based search methods.

Offline

Board footer

Powered by FluxBB