3 citations · 3 across the 1 of their papers we have counts for
1 paper
Patrick Cousot, Jeffery Wang
We design various logics for proving hyper properties of iterative programs by application of abstract interpretation principles. In part I, we design a generic, structural, fixpoi…