资 源 简 介
The Java PathFinder project (JPF) was started at NASA Ames Research Center in 1999. JPF is a research JVM (implemented in Java) that runs as a "software model checker"; It stores program states and checks properties, backtracking and re-scheduling threads as necessary to cover all program executions. JPF has won several awards, inside and outside of NASA. JPF was open sourced in April 2005 with the mainline development hosted on Sourceforge.
The primary goal of open sourcing JPF was to enable students to contribute and take their code with them after their summer internships - and begin to build a development community. So far, we have received contributions from students at SUNY Stonybrook, Kansas State, MIT, CMU, U. Mass, Georgia Tech, UC Santa Barbara, University of Nebraska, INRIA, Toronto, Masaryk University and UIUC. The primary industrial user of JPF is Fujitsu Labs.
The Java PathFinder Team is comprised of the JPF research team at NASA Ames, se
