EpiSpin: an eclipse plug-in for Promela/spin using spoofax

Authors:
Bob De Vos;Lennart C. L. Kats;Cornelis Pronk
Affiliations:
Delft University of Technology, The Netherlands;Delft University of Technology, The Netherlands;Delft University of Technology, The Netherlands
Venue:
Proceedings of the 18th international SPIN conference on Model checking software
Year:
2011

Citing 9
Cited 0

Mutation Testing implements Grammar-Based Testing

MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
First Steps in the Verified Software Grand Challenge

SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation

Proceedings of the 16th International SPIN Workshop on Model Checking Software
Software model checking

ACM Computing Surveys (CSUR)
RAFFS: Model Checking a Robust Abstract Flash File Store

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The spoofax language workbench: rules for declarative specification of languages and IDEs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Using SPIN and eclipse for optimized high-level modeling and analysis of computer network attack models

SPIN'05 Proceedings of the 12th international conference on Model Checking Software

Quantified Score

Hi-index	0.00

Visualization

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.