TY  - RPRT
TI  - Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents
AU  - M. Frans Kaashoek
AU  - Nickolai Zeldovich
PY  - 2026
UR  - https://arxiv.org/abs/2609.04043
ID  - 2609.04043
ER  -