skip to main content


Title: Spoq: Scaling Machine-Checkable Systems Verification in Coq.
Award ID(s):
2239484
NSF-PAR ID:
10477168
Author(s) / Creator(s):
; ; ; ;
Publisher / Repository:
USENIX
Date Published:
Journal Name:
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023)
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found