A forum for Spin users
You are not logged in.
| Forum | Topics | Posts | Last post |
|---|---|---|---|
|
1 Generalquestions, observations, requests
|
173 | 805 | 2013-05-19 01:05:40 by spinroot |
|
2 AnnouncementsSpin Version 6.2.5 now available (4 May 2013)
|
18 | 33 | 2013-05-05 00:45:22 by spinroot |
|
3 Spin WorkshopsSpin 2013 will be in New York, 8-9 July 2013
|
2 | 2 | 2012-07-31 00:26:09 by spinroot |
|
4 Bug Reportsnobody will ever post here of course
|
26 | 87 | 2013-02-20 02:47:12 by spinroot |
|
5 Coursesgeneral information about courses on logic model checking
|
1 | 3 | 2011-09-03 19:53:20 by spinroot |
|
6 iSpin related (GUI)issues related to iSpin
|
16 | 65 | 2013-04-14 03:12:52 by Kai |
|
7 Papers, Work in Progressannounce interesting papers related to logic model checking
|
1 | 1 | 2011-02-11 06:40:31 by spinroot |
|
8 Useful PointersAdditional information and links
|
6 | 6 | 2013-04-09 01:46:22 by spinroot |
|
9 Forum Rulesthings that get you banned...
|
1 | 1 | 2011-09-26 01:25:27 by spinroot |
|
10 Registering on this Forumhow to register
|
1 | 1 | 2013-04-06 19:43:44 by spinroot |