下载地址：
PRISM http://www.prismmodelchecker.org/download.php#download-box
安装：双击你下载的.exe文件
会跳出：
Desktop shortcut：创建桌面快捷方式
Start menu shortcuts：创建开始菜单快捷方式
选择你要安装的位置：
安装成功后，打开：
工具PRISM有4个主要界面：Model模型、Properties属性配置、Simulator模拟器和Log日志记录。在Model界面中编辑模型；在Properties界面中进行规约描述和验证；在Simulator界面种模拟模型的运行；在Log界面记录操作的信息和产生的结果。