Applying formal verification to microkernel IPC at meta

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli. Applying formal verification to microkernel IPC at meta. In Andrei Popescu 0001, Steve Zdancewic, editors, CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022. pages 116-129, ACM, 2022. [doi]

Abstract

Abstract is missing.