xcheck是一个多撕良滤儆值符号模型检测工具，同spin、smv等模型检测工具。
下面我们来看看安装xcheck需要哪些准备。
1、安装前的准备
1）断芡闽彝基于Linux的操作系统
2）Java SE 6
3）Apache ant 版本1.6.5以上
2、安装过程
1）安装Ubuntu操作系统就不在此介绍了
2）安装jdk
jdk下载地址：http://www.oracle.com/technetwork/java/javase/downloads/jdk7-downloads-1880260.html
我下载的是jdk-7u60-linux-i586.tar.gz
然后是解压的家目录下，终端执行：tar -zxvf jdk-7u60-linux-x64.tar.gz -C ~/得到一个jdk1.7.0_60,接下来设置环境变量，终端执行：sudo gedit /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
直接用命令安装：终端输入sudo apt-get install apache2
安装结束后：
产生的启动和停止文件是：/etc/init.d/apache2
启动：sudo apache2ctl -k start
停止：sudo apache2ctl -k stop
重新启动：sudo apache2ctl -k restart
测试：在浏览器中输入127.0.0.1，如果显示it works 表示安装成功。
如果Ubuntu不能联网，可以下载源码进行安装
下载地址：http://httpd.apache.org/download.cgi#apache24
然后根据以下命令操作（我没有试过这种方法）
解压：tar -zxvf httpd-2.4.9.tar.gz
进入解压后的文件夹$ cd httpd-2.4.9
配置 $ ./configure --prefix=/usr/apache
编译 $ make
安装 $ make install
修改配置文件 $ vi /usr/apache/conf/httpd.conf
测试安装是否成功 $/usr/apache/bin/apachectl -k start
4)安装xcheck
下载地址：http://www.cs.toronto.edu/~arie/xchek/
解压：tar -zxvf xchek-RC2.tar.gz -C ~/(解压到家目录，可以根据自己的情况选择安装目录)
进入解压后的目录：cd xchek-RC2
里面有个bin目录，进入bin目录，cd bin
最后终端输入 $./xc就会出现xcheck的图形用户界面，一切安装完成。