An extensible software model checking framework for Java bytecode programs

All the latest developments, changes, documentation can be found on our wiki page.

If you are having problems installing and running JPF, please look at the How to install JPF guide.

Note that we have transitioned to OpenJDK with the new version of JPF (for Java 11), so unlike branch java-8, the new default version for Java 11 no longer compiles using Oracle's JDK.

We have documented on the wiki a lot of common problems during the install and build processes reported by users. If you are facing any issue, please, make sure that we have not addressed it in documentation. Otherwise, feel free to contact us at [email protected] or open an issue on the Issue Tracker.

There is a constant effort to update and add JPF documentation on the wiki. If you would like to contribute in that, please, contact us at [email protected].

Contributions are welcomed and we encourage you to get involved with the community.

Happy Verification -- the Java PathFinder team