Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool
Eike Dehling <email@example.com> 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. "
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.
rich walker | Shadow Robot Company | firstname.lastname@example.org
technical director 251 Liverpool Road |
need a Hand? London N1 1LX | +UK 20 7700 2487