BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-79-731
       ENTRY:: June 19, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Stanford Pascal Verifier user manual
        TYPE:: Technical Report
      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
       PAGES:: 124
    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.
       NOTES:: [Adminitrivia V1/Prg/19950619]
         END:: STAN//CS-TR-79-731