Terms for subject Programming containing система верификации

Russian	English
верификация асинхронных программных систем	verification of asynchronous software systems (ssn)
верификация операционной системы	operating system verification (Microsoft Alex_Odeychuk)
верификация параллельных систем	verification of concurrent systems (ssn)
верификация правильной конфигурации системы	verify the correct system configuration (ssn)
верификация программного обеспечения системы	software verification (см. IEC 61508-7: 2010 ssn)
верификация программных систем	software verification (Alex_Odeychuk)
верификация распределённых систем	verifying distributed systems (ssn)
верификация систем непрерывного реального времени	verifying continuous real-time systems (ssn)
верификация систем реального времени	verifying real-time systems (ssn)
верификация систем реального времени	real-time system verification (ssn)
верификация систем с конечным числом состояний	verification of finite-state systems (ssn)
дедуктивная верификация программных систем	deductive software verification (Alex_Odeychuk)
инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности	development and verification tools for safety- and mission-critical systems (корпорации AdaCore Alex_Odeychuk)
Интеграция, верификация и валидация системы	System Integration, Verification, and Validation (ssn)
метод спецификации и верификации дискретных систем реального времени	method for specifying and verifying discrete real-time systems (ssn)
методы верификации систем непрерывного реального времени	methods for verifying continuous real-time systems (ssn)
поддержанная аппаратно система верификации	hardware assisted verification system (ssn)
проект верификации операционной системы	operating system verification project (Microsoft Alex_Odeychuk)
родственные методы верификации систем реального времени	related methods for verifying real-time systems (ssn)
система верификации	verification system (ssn)
эти сведения используются NMT-мастером для верификации правильной конфигурации системы в течение каждого начального запуска системы	this information is used by the NMT-Master to verify the correct system configuration during each system boot-up