Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine (JVM) that provides non-deterministic choices and control over thread ...

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking ...

Contribute to Astroncity/java_pathfinder development by creating an account on GitHub.

NASA scientists today announced they are releasing free software that will find ‘bugs,’ or defects, in Java computer code. The new software, Java Pathfinder, is classified as ‘open source ...