Bob de Vos, Lennart C. L. Kats, Cornelis Pronk. EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. In Model Checking Software. Proceedings of the 18th International SPIN Workshop. Volume 6823 of Lecture Notes in Computer Science, pages 177-182, Springer, 2011. [doi]
This paper presents EpiSpin: an Eclipse plug-in for editing Promela models. It provides error markers as you type, various editor services and an interface to perform verification and simulation runs using Spin. An additional tool shows the static relations between channels, processes and global variables. These tools have been built using the Spoofax language workbench.