Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool
Eike Dehling <e.e.dehling@student.utwente.nl> writes:
[snip]
> 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
www.shadow.org.uk/products/newhand.shtml
Reply to: