High-Fidelity Specification of Real-World Devices

L. Murphy, A. Rizaldi, L. Rossouw, C. George, J. Treloar, H. Pearce, M. Tanaka, G. Heiser
January 2025
Cite DOI URL
Type
Conference paper
Publication
Plos 2025 Proceedings of the 13th Workshop on Programming Languages and Operating Systems