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

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

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
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 © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to [email protected].