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