k-归纳模型检测结果的认证器
A Certifier for k-Induction Model Checking Results
刘 帅,魏峰玉,黄怡桐,江建国：辽宁师范大学数学学院，辽宁 大连
版权 © 2017 刘 帅, 魏峰玉, 黄怡桐, 江建国。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。