CAV 2026 是致力于推动硬件和软件系统计算机辅助形式分析方法理论与实践推进系列中的第 38 届。会议涵盖从理论成果到具体应用的各个领域，重点介绍实用验证工具及其实现所需的算法和技术。 CAV 认为，持续推动硬件和软件验证的进步至关重要，同时拓展到机器学习、量子验证、自治系统和计算机安全等新领域。