Improved Device Driver Reliability Through Verification Reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (HotDep, 2010)

Improved device driver reliability through hardware verification reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (ASPLOS, 2011)