01-June-2016: JPF Workshop Accepted for FSE 2016
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.