Slide 1 Termination Analysis Math Foundations of Computer Science Slide 2 Topics Definitional principle Soundness and termination Proving termination and measure…