[Bug 171156] Review Request: spin - On-the-fly, LTL model checker
bugzilla at redhat.com
bugzilla at redhat.com
Tue Dec 13 19:28:29 UTC 2005
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.
More information about the fedora-extras-list
mailing list