- proof of correctness
- proof of correctness
(NBS) The use of techniques of mathematical logic to infer that a relation between program variables assumed true at program entry implies that another relation between program variables holds at program exit.
protocol. achieving communication.
Source: www.adamssixsigma.com
Selecteer hieronder het begrip in de taal waarin u verder wil zoeken. Vervolgens verschijnen de beschikbare zoekvragen voor die taal.
Heeft u opmerkingen/suggesties omtrent dit begrip? Klik hier om deze door te geven.