Integrated Static Analysis for Linux Device Driver Verification.

Hendrik Post, Wolfgang Kchlin

Browse the full IFM paper archive.