HVC 2017是致力于推动验证和测试领域最先进和最实用的年度会议系列中的第13届。

该会议为来自学术界和工业界的研究人员和从业人员提供了一个论坛，以分享他们的工作，交流想法，并讨论硬件、软件和复杂混合系统测试和验证的未来方向。

这些技术的共同基本目标是确保复杂系统的正确功能和性能。HVC是唯一一次将来自所有验证和测试子领域的研究人员和实践者聚集在一起的会议，从而鼓励方法和思想在各个领域之间的迁移。


重要日期

提交截止日期： 2017年7月21日
（格林尼治标准时间下午11.59）

2017年7月28日
（格林尼治标准时间下午11.59）
作者通知： 2017年9月1日
摄像头就绪： 2017年9月7日
会议： 2017年11月13日至15日
教程： 2017年11月13日



会议记录将于施普林格的讲稿在计算机科学系列（LNCS）中。

您可以通过下载程序在这里（密码将在会议上提供）。

赞助商

主讲人



链接


%%侧边栏空间%%
See us on Linked In See us on Facebook IBM Research Cadence Mellanox Mentor Graphics Qualcomm Intel