Hardware Model Checking Competition

Armin Biere (Organiser), Tom van Dijk (Organiser), Keijo Heljanko (Organiser)

Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

Description

Organization of the Hardware Model Checking Competition (HWMCC 2017)
Period2 Oct 20176 Oct 2017
Event typeCompetition
LocationVienna, Austria
Degree of RecognitionInternational

Keywords

  • hardware
  • model checking
  • competition