Hardware Model Checking Competition 2019

Description

This year our focus is on introducing a word-level track based on the BTOR2 format, which is described in our CAV'18 paper. The Btor2Tools tool suite provides a generic parser Btor2Parser and a simulator BtorSIM, which are useful for parsing and random simulation of BTOR2 models, as well as for witness checking. There is also a simple bounded model checker BtorMC, distributed as part of Boolector. Since this year will be the first time with an experimental word-level track there will be no declared winners.

Period	22 Oct 2019 → 25 Oct 2019
Event type	Other
Location	United StatesShow on map