1、计算机辅助验证会议（CAV 2022）综述

计算机辅助验证会议（CAV 2022）综述

1. 会议概述

CAV 2022 即第 34 届国际计算机辅助验证会议，于 2022 年 8 月 7 日至 10 日举行。相关研讨会则在 7 月 31 日至 8 月 1 日以及 8 月 11 日至 12 日举办。今年，CAV 作为联合逻辑会议（FLoC）的一部分，与软件/硬件验证和计算机科学逻辑领域的众多其他会议同期举行。由于新冠疫情旅行限制的放宽，CAV 2022 和 FLoC 的其他会议均为线下活动。

CAV 是一个年度会议，致力于推动硬件和软件系统的计算机辅助形式化分析方法的理论和实践发展。其主要焦点是通过拓展到安全、量子计算和机器学习等新领域，来扩展验证技术的前沿。这使得 CAV 处于形式化方法研究的前沿，今年的会议议程就体现了这一承诺。

2. 会议投稿与接受情况

CAV 2022 收到了大量投稿，共计 209 篇。最终接受了 9 篇工具论文、2 篇案例研究和 40 篇常规论文，接受率约为 24%。这些接受的论文涵盖了广泛的主题，从理论成果到形式化方法的应用都有涉及。它们将形式化方法应用或扩展到了智能合约、并发、机器学习、概率技术和工业部署系统等众多领域。

3. 会议活动安排

3.1 主题演讲

• 主题演讲由 Ziyad Hanna（Cadence Design Systems 和牛津大学）进行。
• 全体会议演讲由 Aarti Gupta（普林斯顿大学）带来。
• 还有 Arie Gurfinkel（滑铁卢大学）和 Neha Rungta（亚马逊网络服务）的特邀演讲。