Proving programs correct: redux
		• None of these issues eliminate the value of proving programs correct, but they show some of the limitations with respect to engineering large software systems • Barry Boehm – Verification: “Did you build the system right?” – Validation: “Did you build the right system?”