articles with tag "Software Engineering"

• 【论文笔记|011】Lightweight Kernel Isolation with Virtualization and VM Functions | 使用虚拟化和虚拟机功能实现轻量级内核隔离
• 【论文笔记|004】seL4: Formal Verification of an OS Kernel | seL4：操作系统内核的形式化验证