Welcome to the JPF Wiki

This is the main page for Java™ Pathfinder, or "JPF" as we call it from here. JPF is a highly customizable execution environment for verification of Java™ bytecode programs. The system was developed at the ​NASA Ames Research Center, open sourced in 2005, and is freely available from this server under the ​NOSA 1.3 license.

The JPFWiki is our primary source of documentation. It is divided into the following sections (which you will always see in the TOC menu to the right):

What is JPF? -- a brief introduction into JPF and what sets it part from normal testing