RefinedC: automating the foundational verification of C code with refined ownership types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg 0001. RefinedC: automating the foundational verification of C code with refined ownership types. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 158-174, ACM, 2021. [doi]

This author has not been identified. Look up 'Michael Sammler' in GoogleThis author has not been identified. Look up 'Rodolphe Lepigre' in GoogleThis author has not been identified. It may be one of the following persons:

Robbert Krebbers

Look up 'Robbert Krebbers' in GoogleThis author has not been identified. Look up 'Kayvan Memarian' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in GoogleThis author has not been identified. It may be one of the following persons:

Deepak Garg

Look up 'Deepak Garg 0001' in Google

runs on WebDSL