Hardware Model Checking Competition 2017

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

Details

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
StatePublished - 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

Researchers

Research units

  • Johannes Kepler Universität Linz

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.

    Research areas

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

ID: 16846615