![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Verification of Windows Device Drivers
Verification of Windows Device DriversAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Levy. Critical parts of the software stack, like Windows device drivers, are written in C and use kernel data structures like cyclic doubly-linked lists. We will describe SLAyer, an automatic formal verification tool that proves memory safety of such a codebase, and report on using it to verify a kmdf FireWire device driver. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsDinner Table Terrorism - Achieving Food Security Type the title of a new list here Jane LangdaleOther talksControl variates for computing transport coefficients Counting cycles in planar graphs Quantum Sensing in Space The tragic destiny of Mileva Marić Einstein TBA TBA |