Terms containing verification of specifications

Subject	English	Russian
softw.	formal verification of an implementation against a specification	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)
progr.	verification of consistency between specification and implementation	проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)
astronaut.	verification of specifications	проверка технических условий
progr.	verification of the external system functions as stated in the external specifications	контроль внешнего поведения системы, определённого внешними спецификациями (ssn)