文件名称：CSPDev:与FDR工具集成的CSP IDE
文件大小：3.57MB
文件格式：ZIP
更新时间：2024-05-31 10:33:08
Java
CSPDev 与FDR工具集成的的IDE。 [PT-BR] Uma IDE para 集成了一个铁红色FDR。 使用过程分析器的要求 安装FDR。 将fdr/bin路径添加到Path环境变量Path中。 例如：我的fdr路径是C:\program files\fdr添加到路径C:\Program Files\fdr\bin; FDR应该具有有效的许可证 使用/安装过程分析器的说明： 打开Eclipse， Window -> Show View -> Other打开Other文件夹，然后选择Assert List View或Counterexample View 断言列表视图：显示“ .csp”打开文件中的所有进程。 右键单击过程进行检查！ Counterexample视图：双击进程，如果进程失败，它将打开带有反例的Eclipse浏览器。 OBS该项目使用此CSP BNF语法
【文件预览】：
CSPDev-master
----README.md(1KB)
----LICENSE(1KB)
----br.ufcg.edu.csp()
--------icons()
--------.project(648B)
--------.settings()
--------META-INF()
--------libs()
--------src()
--------.classpath(1KB)
--------plugin.xml(3KB)
--------build.properties(744B)