Spinroot

A forum for Spin users

You are not logged in.

General

Forum Topics Posts Last post
1

General

questions, observations, requests
238 1,079 2017-10-10 20:52:13 by spinroot
2

Announcements

Spin release 6.4.7 now available (Aug. '17) and Cobra 2.4 (Oct. '17)
37 68 2017-11-11 10:51:59 by feng_lei_76
3

Spin Symposia

Spin 2018 will be held June 20-22, 2018, in Malaga, Spain
7 9 2017-10-19 21:21:23 by spinroot
4

Bug Reports

nobody will ever post here of course
34 116 2017-08-10 22:21:30 by spinroot
5

Courses

general information about courses on logic model checking
2 4 2014-12-20 00:19:13 by spinroot
6

iSpin related (GUI)

issues related to iSpin
17 69 2013-09-06 21:16:30 by spinroot
7

Useful Pointers

Additional information and links
6 8 2017-08-14 16:21:10 by spinroot
8

Forum Rules

things that get you banned...
1 1 2011-09-26 01:25:27 by spinroot
9

Registering on this Forum

how to register
1 1 2013-04-06 19:43:44 by spinroot

Board information

Board statistics
Total number of registered users: 6,468
Total number of topics: 343
Total number of posts: 1,355
User information
Newest registered user: bebyond
Registered users online: 0
Guests online: 4

Board footer