Terms for subject Programming containing system of verification

English	Russian
verification against a sequence of progressively more complete system element configurations	верификация при помощи последовательности наращиваемых конфигураций системных элементов (ssn)
verification of asynchronous software systems	верификация асинхронных программных систем (ssn)
verification of concurrent systems	верификация параллельных систем (ssn)
verification of finite-state systems	верификация систем с конечным числом состояний (ssn)
verification of the external system functions as stated in the external specifications	контроль внешнего поведения системы, определённого внешними спецификациями (ssn)