Hardware model checking competition 2017

2017 Formal Methods in Computer Aided Design (FMCAD) Pub Date : 2017-10-02 DOI:10.23919/FMCAD.2017.8102233

Armin Biere, T. V. Dijk, Keijo Heljanko

引用次数: 33

Abstract

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.

查看原文本刊更多论文

2017硬件模型检测大赛

2017硬件模型检查比赛(HWMCC)隶属于2017年在维也纳举行的计算机辅助设计正式方法国际会议(FMCAD)，是我们组织的第9届硬件模型检查比赛。继2015年在奥斯汀与FMCAD合作后，2016年该比赛暂停了。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2017 Formal Methods in Computer Aided Design (FMCAD)

自引率

0.00%

发文量