Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2013-04-06 19:26:57
Eclipse plugin
An Eclipse plugin, described at the 2009 Spin Workshop http://www.springerlink.com/content/347l152065r00644/ by Tim Kovse and colleagues from the University of Maribor in Slovenia,
is available from http://lms.uni-mb.si/ep4s/ together with the installation and usage instructions.
It offers a very nice folding editor for Promela models.
An extension for displaying Spin error trails as message sequence charts can be downloaded from: http://lms.uni-mb.si/st2msc/
Offline
Pages: 1