Eike Dehling <[EMAIL PROTECTED]> wrote: > " Spin is distributed in source form to encourage research in formal > verification, and to help a support friendly and open exchange of > algorithms, ideas, and tools. The software itself has a copyright from > Lucent Technologies and Bell Laboratories, and is distributed for > research and educational purposes only (i.e., no guarantee of any kind > is implied by the distribution of the code, and all rights are reserved > by the copyright holder). For this general use of Spin, no license is > required.
No permission is granted for distribution, only use. You're permitted to download it - you're not permitted to pass it on any further. It may well be their intent that it be redistributable, but this notice doesn't say so. Your best bet would be to contact the copyright holders and ask for permission to distribute it. -- Matthew Garrett | [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
