1. Software quality with Code Contracts and PEXSorinDAMIAN 2. ContractsDesign by Contract ™ Code contracts and runtime checking (Foxtrot)Static verification (Clousot)DocumentationAutomated…