【问题标题】：Formal Methods : How to install CZT plugin on Eclipse IDE?形式化方法：如何在 Eclipse IDE 上安装 CZT 插件？
【发布时间】：2017-07-28 08:43:02
【问题描述】：
我读过this 和this。他们都无法帮助我解决这个问题。在this 链接中，存储库中似乎没有任何内容，在this 链接中，我按照它所说的每一步操作，但仍然无法为我的Eclipse IDE 获取CZT 插件。
如何为 Eclipse IDE 安装 CZT 插件？
注意：我的操作系统是 Ubuntu 16.04 LTS。似乎有一个 .exe 格式的 Eclipse IDE 版本已经启用了 CZT 插件。但由于我的操作系统不支持 .exe 文件，我无法通过这种方式解决此问题。
【问题讨论】：
标签：
eclipse
plugins
ide
ubuntu-16.04
formal-methods
【解决方案1】：
1- 同时下载this .jar file 和this .jar file。
2- 将这两个 .jar 文件放入 Eclipse 的 plugins 文件夹中。
3- 重新启动 Eclipse IDE。
现在您的 Eclipse IDE 上安装了 CZT 插件。
但要创建一个新的 CZT 项目，请执行以下步骤：
1-转到文件->新建->项目->CZT->CZT项目
2- 指定项目名称，然后单击完成。
3- 右键单击您的项目并转到 New -> Z Specification
4- 指定文件名和目录，然后点击
完成。
现在您可以在这个新文件中编写您的 Z 规范。
Here 是一个 PDF 文件，清楚地描述了要做什么。