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.