BOOM: Taking boolean program model checking one step further

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTACAS: Tools and Algorithms for the Construction and Analysis of Systems
Publication statusPublished - 2010
EventTACAS: Tools and Algorithms for the Construction and Analysis of Systems - Paphos, Cyprus
Duration: 20 Mar 201028 Mar 2010

Conference

ConferenceTACAS: Tools and Algorithms for the Construction and Analysis of Systems
Country/TerritoryCyprus
CityPaphos
Period20/03/1028/03/10

Cite this