Synthesizing software verifiers from proof rules. - Sergey Grebenshchikov; Nuno P. Lopes; Corneliu Popeea; Andrey Rybalchenko (PLDI, 2012)

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). - Sergey Grebenshchikov; Ashutosh Gupta 001; Nuno P. Lopes; Corneliu Popeea; Andrey Rybalchenko (TACAS, 2012)