Automatic Verification of Message-Based Device Drivers

SSV, pp. 4-17, 2012.

Cited by: 3|Views28
EI

Abstract:

We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C and can be implemented in any existing OS, which sets it apart from previous proposals ...More

Code:

Data:

Your rating :
0

 

Tags
Comments