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

  • Tim Kovše
  • Boštjan Vlaovič
  • Aleksander Vreže
  • Zmago Brezočnik
Conference paper

DOI: 10.1007/978-3-642-02652-2_13

Volume 5578 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Kovše T., Vlaovič B., Vreže A., Brezočnik Z. (2009) Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. In: Păsăreanu C.S. (eds) Model Checking Software. SPIN 2009. Lecture Notes in Computer Science, vol 5578. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Tim Kovše
    • 1
  • Boštjan Vlaovič
    • 1
  • Aleksander Vreže
    • 1
  • Zmago Brezočnik
    • 1
  1. 1.Faculty of Electrical Engineering and Computer ScienceUniversity of MariborMariborSlovenia