BibTeX
@MISC{Vos_epispin:an,
author = {B. De Vos and L. C. L. Kats and C. Pronk},
title = {EpiSpin: an Eclipse Plug-in for Promela/Spin using},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 1
