Improved Device Driver Reliability Through Verification Reuse

@inproceedings {267171,
author = {Leonid Ryzhyk and NICTA and University of New South Wales and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser},
title = {Improved Device Driver Reliability Through Verification Reuse},
booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse},
publisher = {USENIX Association},
month = oct
}