Showing cs.LOShow all
2 papers · 1 filter
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…