[Bug 171156] Review Request: spin - On-the-fly, LTL model checker

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: spin - On-the-fly, LTL model checker


https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=171156





------- Additional Comments From jpmahowald at gmail.com  2005-12-13 14:28 EST -------
Someone familar with legal documents should look over the commercial license
imposed on commercial use, and whether this is an allowable restriction at all.

http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html

-- 
Configure bugmail: https://bugzilla.redhat.com/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.