CAV 2025

CAV 全称为 International Conference on Computer Aided Verification，是致力于推进硬件和软件系统计算机辅助形式化分析方法理论和实践的系列会议的第 37 届会议。会议涵盖了从理论结果到具体应用的各个方面，重点关注实用验证工具以及实现这些工具所需的算法和技术。 CAV 认为，继续推动硬件和软件验证的发展，同时扩展到机器学习、自主系统和计算机安全等新领域至关重要。会议论文集将在 Springer-Verlag 计算机科学讲义系列中发表。预计将邀请部分论文发表在「Formal Methods in System Design」特刊和「ACM 期刊」上。