Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation
作者： Tim Kovše , Boštjan Vlaovič , Aleksander Vreže , Zmago Brezočnik
DOI: 10.1007/978-3-642-02652-2_13
关键词:
摘要: In this article we present an Eclipse plug-in for Spin and st2msc tools. The can be used to edit a Promela model, run the formal verification of generate optimized MSC trail by st2msc. It simplifies handling with extensive models great extent.
springer.com
sci-hub.se 参考文章(7)
Gerard Holzmann, Spin model checker, the: primer and reference manual Addison-Wesley Professional. ,(2003)
Gerard Holzmann, The SPIN Model Checker: Primer and Reference Manual Addison-Wesley. ,(2011)
Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, Automated generation of Promela model from SDL specification Computer Standards & Interfaces. ,vol. 29, pp. 449- 461 ,(2007) , 10.1016/J.CSI.2006.10.001
Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik, Sdl2pml - Tool for automated generation of Promela model from SDL specification Computer Standards & Interfaces. ,vol. 31, pp. 779- 786 ,(2009) , 10.1016/J.CSI.2008.09.005
Eric Clayberg, Dan Rubel, Eclipse: Building Commercial-Quality Plug-ins ,(2004)
Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm, Using SPIN and eclipse for optimized high-level modeling and analysis of computer network attack models international workshop on model checking software. pp. 236- 250 ,(2005) , 10.1007/11537328_19
Mohamed Nassim Seghir, Andreas Podelski, ACSAR: Software Model Checking with Transfinite Refinement Model Checking Software. pp. 274- 278 ,(2007) , 10.1007/978-3-540-73370-6_19