articles with tag "+SOSP '09"

• 【论文笔记|004】seL4: Formal Verification of an OS Kernel | seL4：操作系统内核的形式化验证