Report Number: CS-TR-79-731
Institution: Stanford University, Department of Computer Science
Title: Stanford Pascal Verifier user manual
Author: Luckham, David C.
Author: German, Steven M.
Author: von Henke, Friedrich W.
Author: Karp, Richard A.
Author: Milne, P. W.
Author: Oppen, Derek C.
Author: Polak, Wolfgang
Author: Scherlis, William L.
Date: March 1979
Abstract: The Stanford PASCAL verifier is an interactive program verification system. It automates much of the work necessary to analyze a program for consistency with its documentation, and to give a rigorous mathematical proof of such consistency or to pin-point areas of inconsistency. It has been shown to have applications as an aid to programming, and to have potential for development as a new and useful tool in the production of reliable software.
http://i.stanford.edu/pub/cstr/reports/cs/tr/79/731/CS-TR-79-731.pdf