Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Verification of Message-Based Device Drivers   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 for verification-friendly drivers. Our
Linux-based evaluation shows that this methodology amplifies the power of
existing verification tools in detecting driver bugs, making it possible to
verify properties beyond the reach of traditional techniques.

18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph