第十三届ACL2定理证明器及其应用国际研讨会会议录
计算机科学中的逻辑
2015-09-21 v1 人工智能
摘要
本卷收录了第十三届ACL2定理证明器及其应用国际研讨会（ACL2 2015）的会议录，该研讨会于2015年10月1日至2日在美国德克萨斯州奥斯汀举行，为期两天。ACL2研讨会大约每18个月举办一次，为研究人员提供了一个主要的技术论坛，用于展示和讨论该定理证明器的改进与扩展、ACL2与其他系统的比较，以及ACL2在形式验证中的应用。ACL2是一个最先进的自动化推理系统，已成功应用于学术界、政府和工业界，用于计算系统的规约与验证，以及计算机科学课程的教学。2005年，Boyer、Kaufmann和Moore因在ACL2及Boyer-Moore系列其他定理证明器方面的工作荣获2005年ACM软件系统奖。
引用
@article{arxiv.1509.05526,
title = {Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications},
author = {Matt Kaufmann and David L. Rager},
journal= {arXiv preprint arXiv:1509.05526},
year = {2015}
}
备注
Celebrating the 25th anniversary of ACL2