prism model check 的环境安装设置

prism model check 目前只支持32位的windows，当然linux和OS是32和64位都可以。

下载地址：http://www.prismmodelchecker.org/download.php 

所以想要在64位的系统下运行prism就必须设置32位的java环境。

1. 我先把prism下载下来，在装之前左键点击安装图标-->属性-->兼容性-->勾选“以兼容模式运行这个程序”

2. 接着安装prism，注意prism不要装在C盘下，其他盘的路径都可以

3. 然后开始装32位的jdk，装好以后进行环境配置。配置好后我用cmd检查 java -version， 确实装上了。

再用java -d32检查，却出现了这个语句：

 This Java instance does not support a 32-bit JVM

意思就是现在运行的java程序不支持32位的jvm

我试了试打开prism失败了，说明32位没配上，倒回去看了看java -version，发现了这个语句：

Java HotSpot(TM) 64-Bit Server VM (build 24.51-b03, mixed mode) 

那其实就是jdk还是在用64位的，可是我检查了环境变量的各种路径，都是指向32位的jdk

于是我尝试把64位的jdk给卸载了，用java -d32检测，显示正常，prism也可以使用了。

4. 所以其实在原有的64位jdk的环境下装32位的jdk，就算是改了环境路径，但是如果没有把64位jdk卸了，32位的jdk还是没有被使用，java程序还是被默认使用64位jdk