Static Driver Verifier: Finding Device Driver Bugs at Compile-time
Presented as part of the
2004 HCSS conference
.
License:
Creative Commons 2.5
Byron Cook
Other available formats:
Static Driver Verifier: Finding Device Driver Bugs at Compile-time
Switch to normal viewer
Switch to experimental viewer
