Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation

Authors:
Tim Kovše;Boštjan Vlaovič;Aleksander Vreže;Zmago Brezočnik
Affiliations:
Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia;Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia;Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia;Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia
Venue:
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Year:
2009

Citing 4
Cited 2

Eclipse: Building Commercial-Quality Plug-ins (2nd Edition) (Eclipse)

Eclipse: Building Commercial-Quality Plug-ins (2nd Edition) (Eclipse)
Automated generation of Promela model from SDL specification

Computer Standards & Interfaces
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
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

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

Proceedings of the 18th international SPIN conference on Model checking software
A Model-Driven CASE tool for developing and verifying regulated open MAS

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article we present an Eclipse plug-in for Spin and st2msc tools. The plug-in can be used to edit a Promela model, run the formal verification of the model, and generate optimized MSC of the Spin trail by st2msc. It simplifies handling with extensive Promela models to a great extent.