第十二届 ACL2 定理证明器及其应用国际研讨会论文集
计算机科学中的逻辑
2014-06-06 v1 数学软件
摘要
本卷收录了第十二届 ACL2 定理证明器及其应用国际研讨会（ACL2'14）的论文集，该研讨会于 2014 年 7 月 12 日至 13 日在奥地利维也纳举行，为期两天。ACL2 研讨会大约每 18 个月举办一次，为研究人员提供了一个重要的技术论坛，以展示和讨论对该定理证明器的改进与扩展、ACL2 与其他系统的比较，以及 ACL2 在形式化验证中的应用。本论文集包含 13 篇经过同行评审的技术论文。ACL2 是一种最先进的自动推理系统，已成功应用于学术界、政府和工业界，用于计算系统的规范与验证，以及计算机科学课程的教学。2005 年，Boyer、Kaufmann 和 Moore 因其在 ACL2 及 Boyer-Moore 家族其他定理证明器方面的工作而荣获 2005 年 ACM 软件系统奖。
引用
@article{arxiv.1406.1238,
title = {Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications},
author = {Freek Verbeek and Julien Schmaltz},
journal= {arXiv preprint arXiv:1406.1238},
year = {2014}
}