Jump to content

Formal method

From Hackerpedia

Revision as of 02:53, 15 January 2026 by imported>Unknown user

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Languages: English | Français

Formal method

Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.

Source: CNSSI 4009-2015 | Category:

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

Cybersecurity