Matthias Brun 0002, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada. Beyond isolation: OS verification as a foundation for correct applications. In Malte Schwarzkopf, Andrew Baumann, Natacha Crooks, editors, Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. pages 158-165, ACM, 2023. [doi]
Abstract is missing.