[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> writes:

> As stated on their website:
> " 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.
> Commercial application of the Spin software is also allowed, but requires the acceptance of a basic
> license. Refer to the Spin Public license for details. "

*Bzzzt* .

Check the case of Madey vs. Duke University. If the business of your
organisation includes raising money to do research, then your use is
probably commercial use.

cheers, Rich.

rich walker         |  Shadow Robot Company | rw@shadow.org.uk
technical director     251 Liverpool Road   |
need a Hand?           London  N1 1LX       | +UK 20 7700 2487

Reply to: