328 citations · 353 across the 8 of their papers we have counts for
1 paper · 1 filter
Patrick Cousot
We study transformational program logics for correctness and incorrectness that we extend to explicitly handle both termination and nontermination. We show that the logics are abst…