Translation validation for a verified OS kernel
Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein[doi] [Google Scholar] [DBLP] [Citeseer]
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013
Pages 471-482
2013
Note(s): Arm architecture, ISA specification, instruction set architecture, translation validation, operating systems
Pages 471-482
2013
Note(s): Arm architecture, ISA specification, instruction set architecture, translation validation, operating systems