1、计算机辅助验证会议与 HAMPI 字符串求解器介绍

计算机辅助验证会议与 HAMPI 字符串求解器介绍

一、计算机辅助验证会议（CAV）概述

计算机辅助验证会议（CAV）专注于推动计算机辅助形式化分析方法在硬件和软件系统中的理论与实践发展。其涵盖范围广泛，从理论成果到具体应用，尤其注重实用的验证工具以及底层算法和技术。2011 年 7 月 14 - 20 日，第 23 届 CAV 会议在美国犹他州的雪鸟市举行，会议包含两天的研讨会、一天的教程以及四天的主要议程。

会议的举办地点最初提议在犹他大学校园，但最终选择了盐湖城附近的雪鸟度假村，这样做既可以展示犹他州丰富的自然美景，又能营造出类似达格斯图尔研讨会的学术氛围。

此次会议收到了 161 份投稿，最终选出 35 篇常规论文和 20 篇工具论文。这表明 CAV 会议极具活力和吸引力。会议得到了众多人员和机构的支持，包括程序委员会成员、外部评审人员、CAV 指导委员会成员、赞助商等。

会议附属研讨会

会议前举办了八个附属研讨会，具体信息如下：
| 研讨会名称 | 时间 |
| — | — |
| 第 4 届国际数值软件验证研讨会（NSV 2011） | 7 月 14 日（周四） |
| 第 10 届国际并行与分布式验证方法研讨会（PDMC 2011） | 7 月 14 日（周四） |
| 第 4 届国际高效且正确利用并发研讨会（EC2 2011） | 7 月 14 - 15 日 |
| 模拟电路综合与验证前沿研讨会（FAC 2011） | 7 月 14 - 15 日 |
| 可满足性模理论国际研讨会，包括 SMT - COMP（SMT 2011） | 7 月 14 - 1