A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture (2010)

by A Fox, M Myreen
Venue:In Interactive Theorem Proving