Terms for subject Programming containing program verification

English	Russian
automatic program verification tool	инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk)
ease of program verification	удобство верификации программы (ssn)
program verification tool	инструментальное средство верификации программ (Alex_Odeychuk)
static verification of programs	статическая верификация программ (Microsoft Alex_Odeychuk)
this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services	этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней