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 infrastruc… ...

Add a description, image, and links to the pathfinder-1e topic page so that developers can more easily learn about it.