Automatic verification of active device drivers. - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Keng Chai Ong; Leonid Ryzhyk; Yanjin Zhu (ACM SIGOPS Oper. Syst. Rev., 2014)