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

被引：0

作者：

Kovse, Tim ^{[1
]}

Vlaovic, Bostjan ^{[1
]}

Vreze, Aleksander ^{[1
]}

Brezocnik, Zmago ^{[1
]}

机构：

[1] Univ Maribor, Fac Elect Engn & Comp Sci, SLO-2000 Maribor, Slovenia

来源：

MODEL CHECKING SOFTWARE | 2009年 / 5578卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：143 / 147

页数：5

共 10 条

[1] [Anonymous], 2004, The SPIN Model Checker-Primer and Reference Manual
[2] CLAY E, 2006, ECLIPSE BUILDING COM
[3] *INT TEL UN, 1999, Z120 INT TEL UN
[4] *INT TEL UN, 1996, Z106 INT TEL UN
[5] KOVSE T, 10 INT C TEL ZAGR CR
[6] Rothmaier G, 2005, LECT NOTES COMPUT SC, V3639, P236
[7] VLAOVIC B, 2004, THESIS U MARIBOR MAR
[8] Automated generation of Promela model from SDL specification
Vlaovic, Bostjan
Vreze, Aleksander
Brezocnik, Zmago
Kapus, Tatjana
[J]. COMPUTER STANDARDS & INTERFACES, 2007, 29 (04) : 449 - 461
[9] Vree A., 2006, THESIS U MARIBOR MAR
[10] VREZE A, 2008, COMPUTER STANDARDS I

← 1 →