windows 如何安装 PAT 模型检查器

 时间:2024-11-02 10:07:47

1、首先,打开搜索引擎,搜索PAT Model Checker,即可找到PAT模型检查器。

windows 如何安装 PAT 模型检查器

2、打开NUS官网,即可找到PAT项目页面。点击如图位置切换到下载页面(如果没有账号先注册)。

windows 如何安装 PAT 模型检查器

3、在下载页面,介绍了windows可以直接下载安装(有.NET Framework 4.0的话),Linux 和 Mac OS使用Mono来运行。

windows 如何安装 PAT 模型检查器

4、切换到PAT下载页面后,最上面的最新版本中,根据需要选择下载文件。我选择的是x86 installation。

windows 如何安装 PAT 模型检查器

5、下载好之后,运行PAT安装程序,选择安装位置,下一步,一直到安装成功。

windows 如何安装 PAT 模型检查器

6、安装完成后,启动PAT,出现新模型向导。如图选择所需的模型,如LTL Checking。

windows 如何安装 PAT 模型检查器

7、在Document页面输入模型,点击Specification一栏的Verification,进行验证即可。

windows 如何安装 PAT 模型检查器
  • Pat什么意思?
  • ps cc如何载入.pat格式的图案?
  • ps 怎么保存PAT格式 怎么载入预设 自定义图案
  • linux 如何安装 Maude 模型检查系统
  • c4d模型不用变形器也能把模型变形
  • 热门搜索
    二年级的手抄报 历史手抄报内容 大学生手抄报 初中手抄报版面设计 低碳环保手抄报内容 珍惜时间手抄报 舌尖上的年味手抄报 圣诞节手抄报图片 美德少年手抄报资料 廉洁在我心中手抄报