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