Towards a Verified, General-Purpose Operating System Kernel (2004)

by J S Shapiro, M S Doerrie, E Northup, S Sridhar, M Miller
Venue:In First NICTA OS Verification Workshop