Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner. Thorough static analysis of device drivers. In Yolande Berbers, Willy Zwaenepoel, editors, Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006. pages 73-85, ACM, 2006. [doi]
Abstract is missing.