Skip to content
Sagan

Paper

BODHI: Precise OS Kernel Specification Inference

Unreadunread

AI summary

arXiv:2605. 23931v1 Announce Type: new Abstract: The formal verification of operating system kernels requires precise specifications that capture the intended behavior of system calls.