Hardware model checking competition 2017

Hardware model checking competition 2017
复制标题

2017年硬件模型检测大赛

DOI：
--
复制
发表时间：
2017
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
通讯作者：
Keijo Heljanko
Keijo Heljanko
中科院分区：
--
文献类型：
--
作者：
Armin Biere;T. V. Dijk;Keijo Heljanko

文献摘要

被引文献

相似文献

2017年在维也纳举行的计算机辅助设计形式化方法国际会议（FMCAD）的附属硬件模型检查竞赛（HWMCC）2017是我们组织的第9届硬件模型检查器竞赛。HWMCC'15在奥斯汀与FMCAD'15合作后，比赛于2016年休息。
The Hardware Model Checking Competition (HWMCC) 2017 affiliated to the International Conference on Formal Methods in Computer Aided Design (FMCAD) in 2017 in Vienna was the 9th competitive event for hardware model checkers we organized. After HWMCC'15 affiliated with FMCAD'15 in Austin, the competition took a break in 2016.