[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

Eike Dehling <e.e.dehling@student.utwente.nl> 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 | mjg59-chiark.mail.debian.legal@srcf.ucam.org

Reply to: