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. The competition has its roots in the model checking community with focus on hardware verification, a former central theme in International Conference on Computer-Aided Verification(CAV) andthefirst threeincarnations of the competition in 2007, 2008 and 2010 were affiliated with CAV. This topic is now more at home at FMCAD, the primary place for research in formal methods for hardware. Accordingly the hardware model checking competition stays with FMCAD (2011,2012,2013,2015,2017) except when CAV is part of the Federated Logic Conference (FLoC) as in 2014 [4].
| Original language | English |
|---|---|
| Title of host publication | Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17) |
| Editors | IEEE |
| Pages | 9 |
| Number of pages | 1 |
| Publication status | Published - Nov 2017 |
Fields of science
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102011 Formal languages
- 102022 Software development
- 102031 Theoretical computer science
- 603109 Logic
- 202006 Computer hardware
JKU Focus areas
- Computation in Informatics and Mathematics