Program verification in the presence of cached address translation

Hira Taqdees Syeda, Gerwin Klein
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Interactive Theorem Proving
Springer International Publishing
Cham
Pages 542-559
2018
Note(s): Operating systems, ISA specification