A forum for Spin users
You are not logged in.
| Forum | Topics | Posts | Last post |
|---|---|---|---|
|
1 Generalquestions, observations, requests
|
245 | 1,107 | 2018-12-04 09:36:50 by jankofron |
|
2 AnnouncementsSpin release 6.4.8 now available (2 March '18)
|
38 | 69 | 2018-03-02 20:06:48 by spinroot |
|
3 Spin SymposiaSpin 2019 will be held July 2019, in Beijng (co-located with ISSTA 2019)
|
8 | 10 | 2018-06-26 18:23:28 by spinroot |
|
4 Bug Reportsnobody will ever post here of course
|
35 | 118 | 2018-09-25 18:11:28 by spinroot |
|
5 Coursesgeneral 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 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 |