CAV是计算机辅助验证的首要国际会议。它为从模型检查和自动定理证明到测试、合成和相关领域的广泛高级研究提供了一个论坛。CAV中报告的研究包括将形式化方法应用于多种系统,包括硬件、软件和通信协议。它涵盖了许多系统模型,包括有限状态和无限状态系统、混合系统和概率系统。它包括理论和行业案例研究。通用的思路是使用自动化来帮助设计者构建更可靠的系统。
CAV每年7月举行,通常在北美和欧洲轮流举行。它始于1989年在法国格勒诺布尔举行的一次研讨会。随后,CAV由Edmund Clarke、Robert Kurshan、Amir Pnueli和Joseph Sifakis组织了一次会议。自1990年以来,每年举行一次。以下列出了过去和计划每年举行的CAV会议。
CAV当前的指导委员会包括:
奥尔娜·格伦伯格、Technion
阿尔蒂·古普塔普林斯顿大学
丹尼尔·克罗宁,牛津大学
肯·麦克米兰,UT奥斯汀