4 ms·Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf]1 points by matt_d 5mo ago