Spinroot

A forum for Spin users

You are not logged in.

General

Forum Topics Posts Last post
1

General

questions, observations, requests
263 1,204 2020-11-11 21:23:40 by Maxvonhippel
2

Announcements

Cobra version 3.1 (Nov '19) and Spin 6.5.2 now on github
44 75 2020-10-28 17:59:01 by zmago
3

Spin Symposia

Spin 2021 is co-located with ISSTA in Aarhus, Denmark
10 13 2020-11-04 19:15:09 by spinroot
4

Bug Reports

nobody will ever post here of course
36 122 2020-08-01 04:14:01 by Maxvonhippel
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
18 71 2019-05-16 16:37:47 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,485
Total number of topics: 381
Total number of posts: 1,499
User information
Newest registered user: TheAnyKey
Registered users online: 0
Guests online: 4

Board footer