Spoq: Scaling Machine-Checkable Systems Verification in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xupeng Li' in GoogleThis author has not been identified. Look up 'Xuheng Li' in GoogleThis author has not been identified. Look up 'Wei Qiang' in GoogleThis author has not been identified. Look up 'Ronghui Gu' in GoogleThis author has not been identified. Look up 'Jason Nieh' in Google

runs on WebDSL