4 ms·CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]2 points by smasher164 4y ago