CodeSurfer File Viewer. Using the Path Explorer window, the user can step through a counter example, much like stepping with a traditional debugger. The code that corresponds to the selected statement is automatically highlighted in the CodeSurfer File Viewer (pictured above), making inspection easy.