Verification, Model Checking, and Abstract Interpretation: 19th International Conference | DealShopping France