Automated Technology for Verification and Analysis : 19th International Symposium | DealShopping UK