Towards a Practical, Verified Kernel

TitleTowards a Practical, Verified Kernel
Publication TypeConference Paper
Year of Publication2007
AuthorsElphinstone K, Klein G, Derrin P, Heiser G
Conference Name11th Workshop on Hot Topics in Operating Systems (HotOS XI)
Date Published05/2007
PublisherUSENIX Association
Conference LocationSan Diego, CA
URLhttps://www.usenix.org/conference/hotos-xi/towards-practical-verified-kernel