08-2 软件工程 JPF 使用指南

JPF1.http://javapathfinder.sourceforge.net/是关于JPF的官方网站，里面由关于JPF的相关资料。2.下载JPF需要到Sourceforge网站上，网址为：http://sourceforge.net/projects/javapathfinder3.下载javapathfinder-src-libs-1.0-7-oct-05.zip文件到本地解压缩。4.将解压缩的项目Import到eclipseworkspace。5.更改ProjectPropertiesa.JavaBuildPath->Source->AddFolder(env/jpf和env/jvm和examples加进来)a.JavaBuildPath->Lib->A...