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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017 |
| Editors | Daryl Stewart, Georg Weissenbacher |
| Publisher | IEEE |
| Pages | 9 |
| Number of pages | 1 |
| ISBN (Print) | 978-0-9835678-7-5 |
| DOIs | |
| Publication status | Published - 2 Oct 2017 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
| Event | International Conference on Formal Methods in Computer-Aided Design - TU Wien, Vienna, Austria Duration: 2 Oct 2017 → 6 Oct 2017 Conference number: 17 |
Conference
| Conference | International Conference on Formal Methods in Computer-Aided Design |
|---|---|
| Abbreviated title | FMCAD |
| Country | Austria |
| City | Vienna |
| Period | 02/10/2017 → 06/10/2017 |
Keywords
- Hardware
- Model checking
- Benchmark testing
- Computational modeling
- Writing
- Design automation