19 citations · 33 across the 10 of their papers we have counts for
1 paper · 2 filters
Cristina David, Daniel Kroening, Matt Lewis
In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g. safety provi…