3、第24届国际会议CAV 2012概述

第24届国际会议CAV 2012概述

1. 会议基本信息

第24届计算机辅助验证国际会议（CAV 2012）于2012年7月7日至13日在美国伯克利举行。该会议旨在推动计算机辅助形式化方法的理论与实践发展，这些方法用于分析和合成硬件、软件以及其他计算系统。会议涵盖了从理论成果到具体应用的广泛研究，强调实用的验证工具以及底层的算法和技术。

2. 会议结构

会议的结构安排得十分紧凑，包括两个工作坊日、一个教程日以及三天半的主程序。以下是会议的具体日程安排：

2.1 工作坊日

会议之前举行了七场附属研讨会，涉及多个领域，包括数值软件验证、内存一致性模型、并发利用等。具体如下：

• NSV 2012 ：第五届国际数值软件验证研讨会
• REORDER 2012 ：第一届国际内存一致性模型研讨会
• EC2 2012 ：第五届国际高