EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax

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.

DOI: 10.1007/978-3-642-22306-8_12

Extracted Key Phrases

1 Figure or Table

Cite this paper

@inproceedings{Vos2011EpiSpinAE, title={EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax}, author={Bob de Vos and Lennart C. L. Kats and Cornelis J H Pronk}, booktitle={SPIN}, year={2011} }