Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
#1 2014-12-17 03:31:06
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
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