Patrick Cousot, The hierarchy of analytic semantics of weakly consistent parallelism

Patrick Cousot.
Asynchronous Correspondences Between Hybrid Trajectory Semantics
In Invited talks, IMDEA, Madrid, Spain, Tuesday, May 31, 2022
Slides of the 50mn seminar:
- 1 slide per landscape page, 50 Mb,
Abstract:
We study abstraction correspondences between hybrid trajectory semantics for verification and refinement, including discretization and state-based homomorphisms, simulations, bisimulations, preservations with progress, and show that they are all Galois connections. We investigate the problematic composition of asynchronous hybrid state-based abstractions.
Keywords:
abstract interpretation, bisimulation, discretization, homomorphism, hybrid semantics, hybrid system, hybrid transition system, preservation, progress, sampling, simulation.

Bibliographic reference:

@inproceedings{Cousot-IMDEA-05-2022,
  author    = {Patrick Cousot},
  title     = {Asynchronous Correspondences Between Hybrid Trajectory Semantics},
  booktitle = {Invited talks},
  year      = {2022},
  month     = {may},
  publisher = {{IMDEA Software, Madrid, Spain}},
  url       = {http://software.imdea.org/events/invited_talks_2022.html},
}

\bibitem{Cousot-IMDEA-05-2022}
Patrick Cousot.
\newblock Asynchronous Correspondences Between Hybrid Trajectory Semantics.
\newblock In \emph{Invited talks, IMDEA Software, Madrid, Spain}, May 30, 2022.

copyright notice
Last modified: Sun May 22 10:57:56 EDT 2022