Boom: Taking Boolean Program Model Checking One Step Further.

Grard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao

Browse the full TACAS paper archive.