Recent News

About Java Pathfinder

JavaPathfinder (JPF) is a extensible virtual machine for the verification of Java™ bytecode. The system was developed at the NASA Ames Research Center and open sourced in 2005 under the NOSA1.3 license. See What is JPF? for more details.