07-May-2015: JPF Workshop Accepted for ASE 2015
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.