2016年3月25日
prism model check 的环境安装设置
摘要： prism model check 目前只支持32位的windows，当然linux和OS是32和64位都可以。 下载地址：http://www.prismmodelchecker.org/download.php 所以想要在64位的系统下运行prism就必须设置32位的java环境。 1. ... 阅读全文
posted @ 2016-03-25 23:32 sriting 阅读(332) 评论(0) 推荐(0) 编辑