USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Improved Device Driver Reliability Through Verification Reuse
Submitted by Anonymous (not verified) on February 8, 2021 - 10:55 pm
Title | Improved Device Driver Reliability Through Verification Reuse |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G |
Conference Name | Sixth Workshop on Hot Topics in System Dependability (HotDep 10) |
Date Published | 10/2010 |
Publisher | USENIX Association |
Conference Location | Vancouver, BC |
URL | https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX