2024-07-112024-07-112024-07-11https://infoscience.epfl.ch/handle/20.500.14299/18601923rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022)