Follow
Sumanth Prabhu
Sumanth Prabhu
Unknown affiliation
Verified email at cmi.ac.in
Title
Cited by
Cited by
Year
Solving constrained horn clauses using syntax and data
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
442018
VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution)
P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ...
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
222018
Efficiently learning safety proofs from appearance as well as behaviours
S Prabhu, K Madhukar, R Venkatesh
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
112018
Concurrent program verification with invariant-guided underapproximation
S Prabhu, P Schrammel, M Srivas, M Tautschnig, A Yeolekar
Automated Technology for Verification and Analysis: 15th International …, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–4