# Applying formal verification to microkernel IPC at meta

> Research article (Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4206198093](https://www.wikidata.org/wiki/openalex:W4206198093)  
**Source**: https://4ort.xyz/entity/applying-formal-verification-to-microkernel-ipc-at-meta