A forum for Spin users
You are not logged in.
| Forum | Topics | Posts | Last post |
|---|---|---|---|
|
1 Generalquestions, observations, requests
|
278 | 1,257 | 2024-09-03 19:46:48 by jllang |
|
2 AnnouncementsCobra 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 SymposiaSpin 2023 is held April 26-27, co-located with ETAPS 2023
|
12 | 15 | 2022-11-13 19:45:36 by spinroot |
|
4 Bug Reportsnobody will ever post here of course
|
37 | 124 | 2021-05-04 22:23:19 by spinroot |
|
5 Coursesgeneral 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 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 |