Latest revision as of 00:24, 20 January 2026

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:

Revision as of 02:53, 15 January 2026 view source imported>Unknown user No edit summary ← Older edit	Latest revision as of 00:24, 20 January 2026 view source imported>Unknown user No edit summary
(No difference)