Sound Formal Verification of Linux's USB BP Keyboard Driver
Submitted by KUL on Sun, 2012-01-29 21:36
| Title | Sound Formal Verification of Linux's USB BP Keyboard Driver |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Penninckx, W., J. T. Mühlberg, B. J. Jan Smans, and F. Piessens |
| Conference Name | The 4th NASA Formal Methods Symposium (NFM 2012) |
| Notes | to appear |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
