Travelled to:1 × China
1 × Estonia
Collaborated with:N.P.Lopes C.Popeea A.Rybalchenko A.Gupta
Talks about:softwar (2) verifi (2) contribut (1) competit (1) synthes (1) proof (1) claus (1) rule (1) horn (1) base (1)
Person: Sergey Grebenshchikov
DBLP: Grebenshchikov:Sergey
Contributed to:
2012
2012Wrote 2 papers:
- PLDI-2012-GrebenshchikovLPR #proving #verification
- Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.
- TACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification
- HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.