SPIN Copyright and Usage Information

This software is Copyright (c) 1991-1997 by Lucent Technologies, Bell Laboratories, Murray Hill, NJ 07974, USA.

All Rights Reserved. This software is for educational purposes only. No guarantee of any kind is expressed or implied by the distribution of this code.

No license is required to use SPIN for educational or research applications. Commercial applications do require a license from Lucent Technologies. Contact Gerard Holzmann for details.

The SPIN software was written by Gerard J. Holzmann, as part of `Design and Validation of Computer Protocols,' ISBN 0-13-539925-4, Prentice Hall, Englewood Cliffs, NJ, 07632.

SPIN home page