Cover Image

Verifying Device Drivers with Pancake

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Zhao, Junming, Tanaka, Miki, Pohjola, Johannes Åman, Legnani, Alessandro, Ung, Tiana Tsang, Truong, H., Sau, Tsun Wang, Sewell, Thomas, Sison, Rob, Syeda, Hira, Myreen, Magnus, Norrish, Michael, Heiser, Gernot
Format: Preprint
Published: 2025
Subjects:
Programming Languages
Cryptography and Security
Operating Systems
D.2.4; D.3.4; D.4.6
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items