Hardware model checking competition 2017 | IEEE Conference Publication | IEEE Xplore