Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents
这篇论文还没有中文全文。点击开始翻译：服务端会拉取 arXiv 原文 PDF 并逐段翻译，保留图表引用。
整篇通常 2-5 分钟；翻译完成后本页直接展示译文并提供 PDF / DOCX 导出。
论文 / 中文全文
arXiv 2609.04043 · 全文中文翻译