Verification of TLB virtualization implemented in C

Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
[doi] [Google Scholar] [DBLP] [Citeseer]

International Conference on Verified Software: Tools, Theories, Experiments
Springer
Pages 209-224
2012
Topic(s): os verification