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

Standard

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

Harvard

Basler, G, Hague, M, Kroening, D, Ong, C-HL, Wahl, T & Zhao, H 2010, BOOM: Taking boolean program model checking one step further. in TACAS: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Paphos, Cyprus, 20/03/10.

APA

Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T., & Zhao, H. (2010). BOOM: Taking boolean program model checking one step further. In TACAS: Tools and Algorithms for the Construction and Analysis of Systems

Vancouver

Basler G, Hague M, Kroening D, Ong C-HL, Wahl T, Zhao H. BOOM: Taking boolean program model checking one step further. In TACAS: Tools and Algorithms for the Construction and Analysis of Systems. 2010

Author

Basler, Gerard ; Hague, Matthew ; Kroening, Daniel ; Ong, C.-H. Luke ; Wahl, Thomas ; Zhao, Haoxian. / BOOM: Taking boolean program model checking one step further. TACAS: Tools and Algorithms for the Construction and Analysis of Systems. 2010.

BibTeX

@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",

}

RIS

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 -