@正在进行中{比埃雷·范迪克·赫尔扬科-FMCAD17，author={Biere、Armin和范迪克、汤姆和Heljanko，Keijo}，编辑＝｛Daryl Stewart和乔治·魏森巴赫}，title={2017年硬件模型检查比赛}，booktitle={计算机辅助设计中的形式方法，{FMCAD}2017，维也纳，奥地利，2017年10月2日至6日。}，页数={9}，publisher={{IEEE}}，年份={2017年}，}