Scifaro

中文

ACL2 在 5.0、6.0 和 6.1 版本中的增强功能

数学软件 2013-05-01 v1 人工智能计算机科学中的逻辑

作者: Matt Kaufmann , J Strother Moore

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们报告了自 2011 年 ACL2 研讨会以来，ACL2 发布版本中引入的增强功能亮点。尽管许多增强功能对于健全性或鲁棒性至关重要，但本文重点关注那些可能使知晓它们的用户受益，但在日常实践中可能未被发现的改进。

关键词

ACL2 定理证明软件增强形式化验证逻辑系统发布说明健全性鲁棒性

引用

@article{arxiv.1304.7855,
  title  = {Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1},
  author = {Matt Kaufmann and J Strother Moore},
  journal= {arXiv preprint arXiv:1304.7855},
  year   = {2013}
}

备注

In Proceedings ACL2 2013, arXiv:1304.7123