Follow
Sergey Grebenshchikov
Title
Cited by
Cited by
Year
Synthesizing software verifiers from proof rules
S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko
ACM SIGPLAN Notices 47 (6), 405-416, 2012
3012012
HSF (C): A software verifier based on Horn clauses
S Grebenshchikov, A Gupta, NP Lopes, C Popeea, A Rybalchenko
International Conference on Tools and Algorithms for the Construction and …, 2012
902012
The system can't perform the operation now. Try again later.
Articles 1–2