This software is Copyright (c) 1991, 1995 by AT&T Corporation.
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.

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.

Send bug-reports and/or questions to: gerard@research.att.com
