Jump to content

Correctness proof

From Hackerpedia
Revision as of 00:12, 15 January 2026 by imported>Unknown user
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Languages: English | Français

Correctness proof

Formal technique used to prove mathematically that a computer program satisfies its specified requirements.

Source: CNSSI 4009-2015 | Category:

Retrieved from "https://hackerpedia.org/index.php?title=Correctness_proof&oldid=943"