NIST AI 100-2e2025

формальні методи

formal methods

Оригінал англійською (EN)

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

Український переклад (UK)

Український переклад ще не підготовлено.

СтандартNIST AI 100-2e2025

Englishformal methods

ДжерелоNIST AI 100-2e2025

Помітили неточність у перекладі, визначенні або прикладі — надішліть зауваження термінологічній робочій групі.

Ресурси та посилання

Зовнішні джерела, у яких можна звірити визначення терміна.