Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents

原文：https://www.a8q9.cn/en/article/extending-concurrent-separation-logic-to-the-hardware-level-to-verify-the-xv6-os-88d33a.html