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
Note(s): Operating Systems, hypervisor, verification, Arm architecture, ISA specification, instruction set architecture