activity
20122023
most citedEventually Sound Points-To Analysis with Missing Code

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2019

On Scaling Data-Driven Loop Invariant Inference

Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan +2

Automated synthesis of inductive invariants is an important problem in software verification. Once all the invariants have been specified, software verification reduces to checking…