Boom: Taking Boolean Program Model Checking One Step Further. - Gérard Basler; Matthew Hague; Daniel Kroening; C.-H. Luke Ong; Thomas Wahl; Haoxian Zhao (TACAS, 2010)