Functional correctness
= Functional correctness
Conformance of an implementation's behaviour to its specified functional requirements. The exact obligations come from the <formal specification>: correct delivery of an <IPC> payload and correct computation of a <file> read are different requirements. Neither requirement by itself supplies a numerical response-time bound.