JavaPathFinder基于eclipse的安装及使用示例

从官网上下载jpf-core.

git clone https://github.com/javapathfinder/jpf-core.git

build JPF

cd jpf-core
./gradlew buildJars

按照官网的教程将jpf-core导入到eclipse中：

1. 生成eclipse配置文件

./gradlew eclipse

2. 选择 File > Import
3. 选择 Existing Gradle Project
4. 选择jpf-core的根目录 然后点击 Next
5. 复选框 Override workspace settings勾上然后finish

运行JPF

1. 选择 Run > Run configurations

2. 新建一个Java Application

3. 填写Name、Project、Main class

4. Program Arguments中填写所要运行的.jpf文件路径
   

5. 点击Run即可运行，在Console中即可看到运行结果
   
   这个运行例子是JPF源码中自带的例子src/examples/Racer

其他配置安装方法可参见官方wiki

网上大多数教程都需要安装插件，由于目前安装插件的地址无效，因此花了很长时间才弄清楚不装插件的使用方法- -