Armin Biere, Tom Van Dijk, Keijo Heljanko,
"Hardware Model Checking Competition 2017"
, in IEEE: Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17), Seite(n) 9, 11-2017
Original Titel:
Hardware Model Checking Competition 2017
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17)
Original Kurzfassung:
The Hardware Model Checking Competition (HWMCC) 2017 af?liated 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 af?liated 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 veri?cation, a former central theme in International Conference on Computer-Aided Veri?cation(CAV) andthe?rst threeincarnations of the competition in 2007, 2008 and 2010 were af?liated 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].