No one who has done enough proving should ever say that a "program has been proven correct." Does it satisfy the theorems you've proven? Sure. Are they all the theorems needed to say 'correct'? Extremely unlikely!