BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-95-1562
       ENTRY:: January 16, 1996
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: STeP: The Stanford Temporal Prover (Educational Release)
               User's Manual
        TYPE:: Technical Report
      AUTHOR:: Bjorner, Nikolaj
      AUTHOR:: Browne, Anca
      AUTHOR:: Chang, Eddie
      AUTHOR:: Colon, Michael
      AUTHOR:: Kapur, Arjun
      AUTHOR:: Manna, Zohar
      AUTHOR:: Sipma, Henny B.
      AUTHOR:: Uribe, Tomas E.
        DATE:: November 1995
       PAGES:: 144
    ABSTRACT:: The STeP (Stanford Temporal Prover) system supports the
               computer-aided verification of reactive and real-time
               systems. It combines deductive methods with algorithmic
               techniques to allow the verification of a broad class of
               systems, including infinite-state systems and parameterized
               N-process programs.

               STeP provides the visual language of verification diagrams
               that allow the user to construct proofs hierarchically,
               starting from a high-level proof sketch. The availability of
               automatically generated bottom-up and top-down invariants and
               an integrated suite of decision procedures allow most
               verification conditions to be checked without user
               intervention.
       NOTES:: [Adminitrivia V1/Prg/19960116]
         END:: STAN//CS-TR-95-1562