Bell Murray NJ All Rights This

Found at: ftp.icm.edu.pl:70/packages/netlib/spin/permission

This software is Copyright (c) 1991-2002 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

No license is required to use SPIN for educational or ressearch
applications.  Commercial applications do require a license from
Lucent Technologies, see:

The SPIN software was written by Gerard J. Holzmann, as part of
`Design and Validation of Computer Protocols,'