Java PathFinder Contributions from Darko Marinov's Students


Students working with Darko Marinov have made several contributions to Java PathFinder (JPF), an explicit-state model checker for Java programs developed at NASA (and the first open-source project from NASA). These contributions add new functionality to JPF, improve its performance, or patch bugs. These contributions include the following:
last updated 02/14/2010