@inproceedings{Blackham_Heiser_13, address = {Philadelphia, USA}, author = {Blackham, Bernard and Heiser, Gernot}, booktitle = {IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, editor = {{Eduardo Tovar}}, isbn = {978-1-4799-0184-5}, keywords = {verification, trustworthy systems}, month = apr, pages = {97--106}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/6405.pdf}, slides = {https://trustworthy.systems/publications/nicta_slides/6405.pdf}, title = {Sequoll: a framework for model checking binaries}, year = {2013} }