windows 如何安装 PAT 模型检查器

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

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

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

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