A forum for Spin users
You are not logged in.
| Forum | Topics | Posts | Last post |
|---|---|---|---|
|
1 Generalquestions, observations, requests
|
279 | 1,260 | 2025-06-28 18:49:26 by spinroot |
|
2 AnnouncementsCobra version 5.1 and New Cobra Book available on Amazon
|
49 | 81 | 2026-04-30 19:21:55 by spinroot |
|
3 Spin SymposiaSpin 2025 will be held in Canada
|
13 | 16 | 2024-11-30 22:15:49 by spinroot |
|
4 Bug Reportsnobody will ever post here of course
|
38 | 125 | 2026-05-21 20:25:12 by Kai |
|
5 Coursesgeneral information about courses on logic model checking
|
3 | 7 | 2024-11-30 22:21:44 by spinroot |
|
6 iSpin related (GUI)issues related to iSpin
|
18 | 75 | 2026-05-22 10:41:53 by Kai |
|
7 Useful PointersAdditional information and links
|
6 | 8 | 2017-08-14 16:21:10 by spinroot |
|
8 Forum Rulesthings that get you banned...
|
1 | 1 | 2011-09-26 01:25:27 by spinroot |
|
9 Registering on this Forumhow to register
|
1 | 1 | 2013-04-06 19:43:44 by spinroot |