Browse College of Engineering by Subject "Java PathFinder"
Now showing items 1-1 of 1
(2006-06)Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a ...