328 citations · 353 across the 8 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024★ 3 cited
Calculational Design of Hyperlogics by Abstract Interpretation
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…
cs.LO2023
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
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…
cs.LO2022
Asynchronous Correspondences Between Hybrid Trajectory Semantics
Patrick Cousot
We formalize the semantics of hybrid systems as sets of hybrid trajectories, including those generated by an hybrid transition system. We study the abstraction of hybrid trajectory…