1 paper · 1 filter
Junming Zhao, Miki Tanaka, Johannes à man Pohjola +10
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant d…