2020年9月14日
模型检测SPIN安装
摘要： SPIN官网 SPIN github SPIN是用于形式化验证并发程序的模型检测工具。Promela是SPIN的输入语法，通过LTL(Linear Temporal Logic)或者断言来对验证属性进行规约，并给出违反验证属性情况下的反例路径 github下载SPIN包 linux SPIN 安装( 阅读全文
posted @ 2020-09-14 16:29 ouyangyangyang 阅读(1294) 评论(0) 推荐(0) 编辑