13 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
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…