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

* Final gross prices may vary according to local VAT.

Get Access

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.