1 paper
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…