Spinroot

A forum for Spin users

You are not logged in.

General

Forum Topics Posts Last post
1

General

questions, observations, requests
277 1,256 2023-06-20 11:54:25 by Kai
2

Announcements

Cobra version 4.4 (Apr '23) and Spin 6.5.2 now on github
46 77 2023-04-07 20:06:01 by spinroot
3

Spin Symposia

Spin 2023 is held April 26-27, co-located with ETAPS 2023
12 15 2022-11-13 19:45:36 by spinroot
4

Bug Reports

nobody will ever post here of course
37 124 2021-05-04 22:23:19 by spinroot
5

Courses

general information about courses on logic model checking
2 5 2022-11-13 19:41:04 by spinroot
6

iSpin related (GUI)

issues related to iSpin
18 72 2022-11-04 21:30:42 by Kai
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,487
Total number of topics: 400
Total number of posts: 1,559
User information
Newest registered user: Moon
Registered users online: 0
Guests online: 5

Board footer