Spoq: Scaling Machine-Checkable Systems Verification in Coq.

Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh

Browse the full OSDI paper archive.