Slide 1Program Verification Using Hoares Logic Book: Chapter 7 Slide 2 While programs Assignments y:=t Composition S1; S2 If-then-else if e the S1 else S2 fi While while…
