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
Springer International Publishing
Cham
Pages 542-559
2018
Note(s): Operating systems, ISA specification