@misc{indiciaeb6580d867e4f,
  title = {Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents},
  author = {M. Frans Kaashoek and Nickolai Zeldovich},
  year = {2026},
  url = {https://arxiv.org/abs/2609.04043},
  note = {Source identifier: 2609.04043}
}