Sergey Grebenshchikov

According to our database, Sergey Grebenshchikov authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Synthesizing software verifiers from proof rules.

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

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012