I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Synthesizing software verifiers from proof rules

Reference:

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. Synthesizing software verifiers from proof rules. In PLDI, pages 405–416, June 2012.

Suggested BibTeX entry:

@inproceedings{GrebenshchikovPLDI12,
    author = {Sergey Grebenshchikov and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {PLDI},
    month = {June},
    pages = {405-416},
    title = {Synthesizing software verifiers from proof rules},
    year = {2012}
}

This work is not available online here.