Correctness Proof

A mathematical proof of consistency between a specification and its implementation.


Correctness Proof

A mathematical proof of consistency between a specification and its implementation.

Used in methodology