/n/sources/patch/applied/spin430/readme - Plan 9 from Bell Labs

Plan 9 from Bell Labs’s /n/sources/patch/applied/spin430/readme

Copyright © 2009 Alcatel-Lucent.
Distributed under the Lucent Public License version 1.02.
Download the Plan 9 distribution.


update the version of the Spin model checker included with Plan 9 to the newest version, 4.3.0

Bell Labs

OSI certified

Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2009 Alcatel-Lucent. All Rights Reserved.
Comments to webmaster@plan9.bell-labs.com.