VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS.

Zhenjiang Qian, Hao Huang, Fangmin Song

Browse the full ICICS paper archive.