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