CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]cl.cam.ac.uk2 pointssmasher1644 years ago