Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh. Spoq: Scaling Machine-Checkable Systems Verification in Coq. In Roxana Geambasu, Ed Nightingale, editors, 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. pages 851-869, USENIX Association, 2023. [doi]
Abstract is missing.