Package com.javapathfinder.vjp.verify.view

Class Summary
ControlPanel The Composite the holds all of the buttons to control verification
ErrorViewer Displays the errors generated from the verification
TraceTable The table used to display information about the thread trace generated by JPF during verification.
TransitionView Serves as a viewer into the contents of a transition
VJPView This class represent the VJP view.