A design (or implementation) cannot ever be declared "correct" in isolation, but only "correct with respect to a given specification".
It can only every be "correct with respect to a given specification". A design (or implementation) cannot ever be declared "correct" on its own.
A design (or implementation) cannot ever be declared "correct" on its own. It can only every be "correct with respect to a given specification".
A design (or implementation) cannot ever be declared "correct" on its own. It can only every be "correct with respect to a given specification".