Obtaining STeP

The educational version of STeP is now available (current release: 1.3), as a companion to the book: Temporal Verification of Reactive Systems: Safety, by Zohar Manna and Amir Pnueli, Springer-Verlag, 1995.

To obtain the system, please send a request to: step-request@cs.stanford.edu or fill out the on-line license agreement.

Note: Version 2.0 that was demonstrated at FM'99 is not yet available for public release. Please send email to step-request@cs.stanford.edu if you would like to be notified when it is released.


STeP requires 25 Megabyes of free disk space and has been ported to

STeP license agreement

To obtain a copy of STeP, fill out the form with your coordinates. In completing this form you are expected to agree to the Stanford academic license agreement found below. When you have submitted the form you will get instructions by email on how to obtain STeP via HTTP download. The email is processed automatically, so make sure that you type in the right email address.




email Address:

  1. Hereafter, "Programs" refers to the Educational Version of the Stanford Temporal Prover system (STeP-E) and all associated materials.

    This is a legal agreement between you, RECIPIENT, and STANFORD UNIVERSITY. By accepting, receiving and using these Programs, you are agreeing to be bound by the terms of this Agreement. If you do not agree to the terms of this Agreement, promptly return the Programs to STANFORD.

  2. STANFORD grants to RECIPIENT a royalty-free, nonexclusive, and nontransferable license to use the Programs furnished hereunder, upon the terms and conditions set out below.
  3. RECIPIENT acknowledges that the Programs are research tools still in the development stage and that they are being supplied "as is," without any accompanying services or improvements from STANFORD.
  4. STANFORD MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED. By way of example, but not limitation, STANFORD MAKES NO REPRESENTATIONS OR WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE USE OF THE LICENSED SOFTWARE COMPONENTS OR DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. STANFORD shall not be held liable for any liability nor for any direct, indirect or consequential damages with respect to any claim by RECIPIENT or any third party on account of or arising from this Agreement or use of the Programs.
  5. RECIPIENT agrees to use the Programs solely for internal purposes and shall not distribute or transfer them to another location or to any other person without prior written permission from STANFORD.
  6. Title and copyright to the Programs and any associated documentation shall at all times remain with STANFORD, and RECIPIENT agrees to preserve same. RECIPIENT agrees not to make any copies except for its internal use in the above laboratory without prior written consent of STANFORD. RECIPIENT agrees to place the appropriate copyright notice on any such copies.
  7. If permission to transfer the Programs is given (under Article 5 above), RECIPIENT warrants that RECIPIENT will not export or reexport, directly or indirectly: (i) the Programs or any portion thereof, or (ii) any direct product (including equipment, processes or services) produced by use of the Programs, or (iii) any product of a complete plant or of a major component of a plant when such complete plant or such major component is the direct product of the Programs, to any country except when such export or reexport is authorized in full compliance with the laws and regulations of the United States of America.