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
Springer
Pages 209-224
2012
Topic(s): os verification