[Javapathfinder-devel] More specific..............

[Emir Z. <emi...@gm...>]

this sounds cool,
Create a JPF user interface in an IDE like Eclipse or NetBeans. JPF runs
could be controlled by using JPF property files, the IDE would display both
progress information and structured reports, using a customized JPF
Publisher implementation................
i would like to try this, any help?! :-)