Spin 安装6.4.6版本

http://spinroot.com/spin/Man/README.html#S1a

在这里没有下载到6.4.6版本

在这边下到了6.4.6

https://digitalpadm.com/how-to-install-spin-model-checker-on-linux-ubuntu-16-04/

但是会出错误，且第二个链接给出的改错方法不成功

按照第一个链接的方法改错成功

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容