Correct: works exactly as intended (specified) Safe: Correct and does not have unintended and undesirable side effects. So, in my opinion being correct is a p

Correct: works exactly as intended (specified) Safe: Correct and does not have unintended and undesirable side effects. So, in my opinion being correct is a prerequisite for being safe.