HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

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

Browse the full TACAS paper archive.