Slide 11 Analysis of a class a case study We are going to prove the correctness of a class w.r.t. a specification. In order to formulate our hypotheses we start with experiments.…