CNSSI 4009-2015

доведення коректності

correctness proof

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

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

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

Формальний метод, який використовується для математичного доведення того, що комп'ютерна програма задовольняє встановлені для неї вимоги.

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

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

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

Українські переклади є робочими, не офіційними перекладами джерел.

СтандартCNSSI 4009-2015

Englishcorrectness proof

ДжерелоCNSSI 4009-2015

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

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

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