A Visualization System for Correctness Proofs of Graph Algorithms Dartmouth Technical Report PCS-TR92-180 Peter A. Gloor Donald B. Johnson Fillia Makedon Panagiotis Metaxas Date: 1992 URL (PDF): (1016KB) Abstract: In this paper we describe a system for visualizing correctness proofs of graph algorithms. The system has been demonstrated for a greedy algorithm. PrimÕs algorithm for finding a minimum spanning tree of an undirected, weighted graph. We believe that our system is particularly appropriate for greedy algorithms, though much of what we discuss can guide visualization of proofs in other contexts. While an example is not a proof, our system provides concrete examples to illustrate the operation of the algorithm. These examples can be referred to by the user interactively and alternatively with the visualization of the proof where the general case is portrayed abstractly.