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 proceeding › Conference contribution

Original language	English
Title of host publication	TACAS: Tools and Algorithms for the Construction and Analysis of Systems
Publication status	Published - 2010
Event	TACAS: Tools and Algorithms for the Construction and Analysis of Systems - Paphos, Cyprus Duration: 20 Mar 2010 → 28 Mar 2010

Conference	TACAS: Tools and Algorithms for the Construction and Analysis of Systems
Country/Territory	Cyprus
City	Paphos
Period	20/03/10 → 28/03/10

Cite this

@inproceedings{79169a5cc4814bd9bfbd88b71a97cd4c,

title = "BOOM: Taking boolean program model checking one step further",

author = "Gerard Basler and Matthew Hague and Daniel Kroening and Ong, {C.-H. Luke} and Thomas Wahl and Haoxian Zhao",

year = "2010",

language = "English",

booktitle = "TACAS: Tools and Algorithms for the Construction and Analysis of Systems",

note = "TACAS: Tools and Algorithms for the Construction and Analysis of Systems ; Conference date: 20-03-2010 Through 28-03-2010",

}

TY - GEN

T1 - BOOM: Taking boolean program model checking one step further

AU - Basler, Gerard

AU - Hague, Matthew

AU - Kroening, Daniel

AU - Ong, C.-H. Luke

AU - Wahl, Thomas

AU - Zhao, Haoxian

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - TACAS: Tools and Algorithms for the Construction and Analysis of Systems

T2 - TACAS: Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 20 March 2010 through 28 March 2010

ER -