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

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

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

今年我们还将有一个软件测试专题会议期间，轨道将有专门的时间，以及单独的审查过程。

HVC奖得主揭晓！


重要日期

摘要提交截止日期： 2013年7月30日-阿留申州标准时间下午11.59
论文提交截止日期： 2013年7月30日-阿留申州标准时间下午11.59
作者接受通知： 2013年8月25日
最终稿件到期日： 2013年9月5日


与往年不同的是，在HVC 2013中，会议记录将在年会议开始前公布施普林格的讲稿在计算机科学系列（LNCS）中。会议记录将在注册后以电子格式提交给会议嘉宾。

发起人

播放视频


受邀主讲人


以前的会议

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