Slide 1 1 Design by Contract Building Reliable Software Slide 2 2 Software Correctness Correctness is a relative notion A program is correct with respect to its specification…