Applying formal verification to microkernel IPC at meta

Open Webpage

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli

Published: 2022, Last Modified: 16 May 2025CPP 2022EveryoneRevisionsBibTeXCC BY-SA 4.0