PRISM 下载安装

下载地址：

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界面记录操作的信息和产生的结果。