问下大家有没有配置过 JPF (在eclipse的环境下)?

今天找了一天了JPF的配置，还是没有配置好。希望大虾们帮助！谢谢。

问题补充
急死了。大家给招啊。

Java Plug-in Framework (JPF) Project？

JPF是什么东东？