EpiSpin
An Eclipse Plug-In for Promela/Spin Using Spoofax
Bob de Vos, Lennart C. L. Kats, Kees Pronk. EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. In 18th International Workshop on Model Checking of Software (SPIN 2011), pages 177—182, Volume 6563 of Lecture Notes in Computer Science, Springer, 2011. [pdf] [bib]
Abstract
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.
More information
More information about this project can be found at the EpiSpin website.