Hardware Model Checking Competition 2017

Armin Biere, Tom van Dijk, Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

11 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017
EditorsDaryl Stewart, Georg Weissenbacher
PublisherIEEE
Pages9
Number of pages1
ISBN (Print)978-0-9835678-7-5
DOIs
Publication statusPublished - 2 Oct 2017
MoE publication typeB3 Non-refereed article in conference proceedings
EventInternational Conference on Formal Methods in Computer-Aided Design - TU Wien, Vienna, Austria
Duration: 2 Oct 20176 Oct 2017
Conference number: 17

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD
CountryAustria
CityVienna
Period02/10/201706/10/2017

Keywords

  • Hardware
  • Model checking
  • Benchmark testing
  • Computational modeling
  • Writing
  • Design automation

Fingerprint Dive into the research topics of 'Hardware Model Checking Competition 2017'. Together they form a unique fingerprint.

Cite this