文件名称: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)