ESpin:基于SPIN的Eclipse模型检查插件-开源

时间:2024-05-14 23:02:50
【文件属性】:

文件名称:ESpin:基于SPIN的Eclipse模型检查插件-开源

文件大小:10.27MB

文件格式:ZIP

更新时间:2024-05-14 23:02:50

开源软件

ESpin,Eclipse上基于SPIN的模型检查插件。 该编辑器完全支持Promela的语法规则,还提供实时语法反馈,关键字突出显示,轮廓视图,代码折叠,提示和完成功能,大大提高了复杂模型的建模效率。 此外,ESpin提供多种操作模式和独特的配置界面,从而简化了SPIN的操作过程。


【文件预览】:
plugins
----cn.edu.nuaa.ESpin_1.0.0.201207180004.jar(10.35MB)

网友评论