Verification, Model Checking, and Abstract Interpretation : 21st International Conference | DealShopping UK