Slide 11 Induction Variables Region-Based Analysis Meet and Closure of Transfer Functions Affine Functions of Reference Variables Slide 2 2 Regions uA set of nodes N and…