Spinroot

A forum for Spin users

You are not logged in.

#1 2014-12-17 03:31:06

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

Online Course in Software Verification and Logic 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

#2 2016-05-17 07:49:01

mya9
Member
Registered: 2011-03-31
Posts: 4

Re: Online Course in Software Verification and Logic Model Checking

Hello,

I have forgot my access credentials to the course website. How do I get them again ?

Offline

#3 2016-05-17 16:44:30

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

Re: Online Course in Software Verification and Logic Model Checking

please send the name you used to register for the course to [email protected]
and we can send you new access credentials

Offline

Board footer

Powered by FluxBB