Eike Dehling <[EMAIL PROTECTED]> 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 | [EMAIL PROTECTED] technical director 251 Liverpool Road | need a Hand? London N1 1LX | +UK 20 7700 2487 www.shadow.org.uk/products/newhand.shtml -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
