13 citations · 13 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Verifying Array Manipulating Programs with Full-Program Induction
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. In…
cs.SE2017★ 13 cited
Verifying Array Manipulating Programs by Tiling
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Formally verifying properties of programs that manipulate arrays in loops is computationally challenging. In this paper, we focus on a useful class of such programs, and present a…