Design by Contract Where Agile Meets Formal Methods What is Design by Contract? Motivation History Concept Integrate with Agile Example Reviews Current State What is Design…