Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
#1 2014-12-20 00:19:13
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