Revision as of 01:42, 15 January 2026

Languages: English | Français

Formal methods

A mathematically rigorous technique for the specification, development, and verification of software systems.

Source: NIST AI 100-2e2025 | Category:

Revision as of 00:12, 15 January 2026 view source imported>Unknown user No edit summary	Revision as of 01:42, 15 January 2026 view source imported>Unknown user No edit summary Newer edit →
(No difference)