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:
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
email@example.com if you would like to be
notified when it is released.
STeP requires 25 Megabyes of free disk space and has been ported to
- SUN sparc 20, and UltraSparc under SOLARIS.
- DEC Alpha under IRIX.
- SGI under IRIX5
- x86 under LINUX
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.
STANFORD ACADEMIC LICENSE AGREEMENT
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.