Synthesizing software verifiers from proof rules.

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Browse the full PLDI paper archive.