Spoq: Scaling Machine-Checkable Systems Verification in Coq.
- Award ID(s):
- 2239484
- NSF-PAR ID:
- 10477168
- 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