BriefGPT.xyz
Ask
alpha
关键词
automated reasoning system
搜索结果 - 1
ACL
ACL2 定理证明器及其应用国际研讨会第十三届会议论文集
该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。
PDF
9 years ago
Prev
Next