Improved Device Driver Reliability Through Verification Reuse

TitleImproved Device Driver Reliability Through Verification Reuse
Publication TypeConference Paper
Year of Publication2010
AuthorsRyzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G
Conference NameSixth Workshop on Hot Topics in System Dependability (HotDep 10)
Date Published10/2010
PublisherUSENIX Association
Conference LocationVancouver, BC
URLhttps://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse