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. © 2011 Springer-Verlag.
Cite
CITATION STYLE
De Vos, B., Kats, L. C. L., & Pronk, C. (2011). EpiSpin: An eclipse plug-in for promela/spin using spoofax. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6823 LNCS, pp. 177–182). https://doi.org/10.1007/978-3-642-22306-8_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
