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 | 46 | 2018 |
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 | 22 | 2018 |
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 | 13 | 2018 |
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 | 5 | 2017 |