@misc{Fernandez_KK_12, address = {Bern, Switzerland}, author = {Fernandez, Matthew and Klein, Gerwin and Kuz, Ihor}, howpublished = {Poster presented at EuroSys 2012}, keywords = {sel4, compcert, microkernel, formal verification}, month = apr, paperurl = {https://trustworthy.systems/publications/nicta_full_text/5857.pdf}, title = {Microkernel Verification Down To Assembly}, year = {2012} }