HVC 2016是致力于推进验证和测试领域最先进和最实用的年度会议系列中的第12次。
该会议为来自学术界和工业界的研究人员和从业人员提供了一个论坛，以分享他们的工作，交流想法，并讨论硬件、软件和复杂混合系统测试和验证的未来方向。
这些技术的共同基本目标是确保复杂系统的正确功能和性能。HVC是唯一一次将来自所有验证和测试子领域的研究人员和实践者聚集在一起的会议，从而鼓励方法和思想在各个领域之间的迁移。
HVC 2016最佳论文
Nikolaj Bjorner、Garvit Juniwal、Sanjit A.Seshia、George Varghese和Ratul Mahajan因其题为“ddNF：标题空间的有效数据结构”的论文获得了最佳论文奖。
重要日期
|
论文提交截止日期： |
2016年7月14日
（格林尼治标准时间下午11.59）
2016年7月21日
（格林尼治标准时间下午11.59） |
|
作者接受通知： |
2016年9月5日 |
|
最终稿件到期日： |
2016年9月16日 |
|
海报提交截止日期： |
9月30日
（格林尼治标准时间下午11.59） |
|
会议： |
2016年11月14日至17日 |
|
教程： |
2016年11月14日 |
|
赞助商
