אנגלית ⇄ רוסית +

formal verification of an implementation against a specification מתח
.תוֹכנ	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)