xcheck是一个多撕良滤儆值符号模型检测工具，同spin、smv等模型检测工具。
下面我们来看看安装xcheck需要哪些准备。
安装前的准备
1）断芡闽彝基于Linux的操作系统
2）JavaSE6
3）Apacheant版本1.6.5以上
安装过程
1）安装Ubuntu操作系统就不在此介绍了
2）安装jdk
jdk下载地址：http://www.oracle.com/technetwork/java/javase/downloads/jdk7-downloads-1880260.html
我下载的是jdk-7u60-linux-i586.tar.gz
然后是解压的家目录下，终端执行：tar-zxvfjdk-7u60-linux-x64.tar.gz-C~/得到一个jdk1.7.0_60,接下来设置环境变量，终端执行：sudogedit/etc/environment
在已有的PATH变量后添加jdk的bin目录，注意用冒号与已有变量隔开
再添加CALSSPATH和JAVA_HOME变量
我的情况如下：
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/ubuntu/jdk1.7.0_60/bin"
CLASSPATH="/home/ubuntu/jdk1.7.0_60/lib:."注意后面有个点
JAVA_HOME="/home/ubuntu/jdk1.7.0_60/"
设置好后，注销或重启使环境变量生效！
查看是否生效，终端执行：java-version，就可以看到版本就是刚配置的7u60。
3）安装Apache
直接用命令安装：终端输入sudoapt-getinstallapache2
安装结束后：
产生的启动和停止文件是：/etc/init.d/apache2
启动：sudoapache2ctl-kstart
停止：sudoapache2ctl-kstop
重新启动：sudoapache2ctl-krestart
测试：在浏览器中输入127.0.0.1，如果显示itworks表示安装成功。
如果Ubuntu不能联网，可以下载源码进行安装
下载地址：http://httpd.apache.org/download.cgi#apache24
然后根据以下命令操作（我没有试过这种方法）
解压：tar-zxvfhttpd-2.4.9.tar.gz
进入解压后的文件夹$cdhttpd-2.4.9
配置$./configure--prefix=/usr/apache
编译$make
安装$makeinstall
修改配置文件$vi/usr/apache/conf/httpd.conf
测试安装是否成功$/usr/apache/bin/apachectl-kstart
4)安装xcheck
下载地址：http://www.cs.toronto.edu/~arie/xchek/
解压：tar-zxvfxchek-RC2.tar.gz-C~/(解压到家目录，可以根据自己的情况选择安装目录)
进入解压后的目录：cdxchek-RC2
里面有个bin目录，进入bin目录，cdbin
最后终端输入$./xc就会出现xcheck的图形用户界面，一切安装完成。