Visual Java PathFinder (VJP) is a plugin for the Eclipse IDE that allows for executable Java bytecode to be verified at the push of a button. VJP uses the Java PathFinder (JPF) software model checker to systematically search all execution paths for violations, such as unhandled exceptions or deadlocks.
VJP serves to simplify the process of verifying your program. Verifying Java programs with JPF requires downloading, updating, building, configuring and verifying, all manually. On the other hand with VJP handles all of this and allows configuring and verifying to be done through a GUI with the push of a button.
On top of all of this, one of VJP's main advantages is that it also displays JPF's results graphically. Executation paths are graphically displayed giving the details of every step taken.