articles with tag "Formal Verification"

• 论文讲解：Securing A Multiprocessor KVM Hypervisor with Rust (SoCC '24)
• 2024.11.28 Syswonder 组会报告 Linux hvc, Rust Code Formal Verification
• 【论文笔记|004】seL4: Formal Verification of an OS Kernel | seL4：操作系统内核的形式化验证