Sergey Grebenshchikov

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

First Order Logic

Association Rule Mining

Top Venues

Publications

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS (2012)
Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
Synthesizing software verifiers from proof rules. PLDI (2012)