1 paper
Zhiming Chang, Ziyang Li
The formal verification of operating system kernels requires precise specifications that capture the intended behavior of system calls. Writing these specifications manually demand…