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 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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.4204/EPTCS.102.3 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Volume |
Architecture,Functional verification,Computer science,Intelligent verification,Real-time computing,High-level verification,Operating system,Embedded system | Journal | 102 |
Issue | ISSN | Citations |
102 | 2075-2180 | 1 |
PageRank | References | Authors |
0.35 | 14 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sidney Amani | 1 | 67 | 5.00 |
Peter Chubb | 2 | 4 | 0.72 |
Alastair F. Donaldson | 3 | 661 | 52.35 |
Alexander Legg | 4 | 24 | 3.17 |
Leonid Ryzhyk | 5 | 212 | 16.05 |
Yanjin Zhu | 6 | 19 | 1.68 |