Complete, unambiguous, and correct software requirements, including safety or security requirements. Correct and consistent design specifications without extraneous functionality. Compiler-produced ...