Machine code verification of a tiny ARM hypervisor

Mads Dam, Roberto Guanciale, Hamed Nemati
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 3rd international workshop on Trustworthy embedded devices
ACM
Pages 3-12
2013
Topic(s): os verification
Note(s): Arm architecture, ISA specification, instruction set architecture