作者
Armin Biere, Tom Van Dijk, Keijo Heljanko
发表日期
2017/10/2
研讨会论文
2017 Formal Methods in Computer Aided Design (FMCAD)
页码范围
9-9
出版商
IEEE
简介
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.