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 the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017 |
| Editors | Georg Weissenbacher, Daryl Stewart |
| Publisher | IEEE |
| Pages | 9 |
| Number of pages | 1 |
| ISBN (Electronic) | 9780983567875 |
| DOIs | |
| Publication status | Published - 8 Nov 2017 |
| Externally published | Yes |
| Event | 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017 - Vienna, Austria Duration: 2 Oct 2017 → 6 Oct 2017 Conference number: 17 |
Conference
| Conference | 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017 |
|---|---|
| Abbreviated title | FMCAD 2017 |
| Country/Territory | Austria |
| City | Vienna |
| Period | 2/10/17 → 6/10/17 |
Keywords
- n/a OA procedure