Methods and systems consistent with the present invention provide an improved
software development tool that allows a developer to locate a portion of source
code corresponding to a message from a verification tool. The improved software
development tool displays a graphical representation of the portion of the source
code corresponding to the message in a visually distinctive manner.