Collaborated with:
F.Xu M.Fu X.Feng H.Zhang Z.Li
Talks about:
preemptiv (1) framework (1) practic (1) kernel (1) verif (1)
Person: Xiaoran Zhang
DBLP: Zhang:Xiaoran
Contributed to:
Wrote 1 papers:
- CAV-2016-XuFFZZL #framework #kernel #verification
- A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.