k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 229 浏览量: 341
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 191 浏览量: 280
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 216 浏览量: 305
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量