BOOM: Taking boolean program model checking one step further. / Basler, Gerard; Hague, Matthew; Kroening, Daniel; Ong, C.-H. Luke; Wahl, Thomas; Zhao, Haoxian.

TACAS: Tools and Algorithms for the Construction and Analysis of Systems. 2010.

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

Published
  • Gerard Basler
  • Matthew Hague
  • Daniel Kroening
  • C.-H. Luke Ong
  • Thomas Wahl
  • Haoxian Zhao
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
CountryCyprus
CityPaphos
Period20/03/1028/03/10

ID: 25572903