1、首先，打开搜索引擎，搜索PAT Model Checker，即可找到PAT模型检查器。
2、打开NUS官网，即可找到PAT项目页面。点击如图位置切换到下载页面（如果没有账号先注册）。
3、在下载页面，介绍了windows可以直接下载安装（有.NET Framework 4.0的话），Linux 和 Mac OS使用Mono来运行。
4、切换到PAT下载页面后，最上面的最新版本中，根据需要选择下载文件。我选择的是x86 installation。
5、下载好之后，运行PAT安装程序，选择安装位置，下一步，一直到安装成功。
6、安装完成后，启动PAT，出现新模型向导。如图选择所需的模型，如LTL Checking。
7、在Document页面输入模型，点击Specification一栏的Verification，进行验证即可。
