David S. Hardin, Eric W. Smith, William D. Young. A robust machine code proof framework for highly secure applications. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 11-20, ACM, 2006. [doi]
@inproceedings{HardinSY06,
title = {A robust machine code proof framework for highly secure applications},
author = {David S. Hardin and Eric W. Smith and William D. Young},
year = {2006},
doi = {10.1145/1217975.1217978},
url = {http://doi.acm.org/10.1145/1217975.1217978},
tags = {application framework},
researchr = {https://researchr.org/publication/HardinSY06},
cites = {0},
citedby = {0},
pages = {11-20},
booktitle = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
editor = {Panagiotis Manolios and Matthew Wilding},
publisher = {ACM},
isbn = {0-9788493-0-2},
}