2018年6月11日
运行和验证 hv6
摘要： 运行和验证 hv6 @(hv6是 "Hyperkernel: Push Button Verification of an OS Kernel" 中设计的一款操作系统,用这款操作系统实验了一种新的验证内核的方法,具体请查看这篇论文: "Hyperkernel: Push Button Verific 阅读全文
posted @ 2018-06-11 22:03 TianchiLiu 阅读(1811) 评论(0) 推荐(0) 编辑