A robust machine code proof framework for highly secure applications.

David S. Hardin Eric W. Smith William D. Young

Published in: ACL2 (2006)

Keyphrases

artificial intelligence
special case
conceptual framework
image sequences
scheduling problem
lightweight
computationally efficient
theoretical framework
partial occlusion