57 citations · 109 across the 3 of their papers we have counts for
1 paper · 1 filter
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Program logics for bug-finding (such as the recently introduced Incorrectness Logic) have framed correctness and incorrectness as dual concepts requiring different logical foundati…