Login / Signup
安全虚拟机监视器的形式化验证研究 (Study on Formal Verification of Secure Virtual Machine Monitor).
Hao Chen
Lei Luo
Yun Li
Lirong Chen
Published in:
计算机科学 (2019)
Keyphrases
</>
formal verification
automated verification
source code
cost effective