DictionaryForumContacts

   English
Terms containing verification environment | all forms | exact matches only | in specified order only
SubjectEnglishRussian
forens.environment verificationпроверка окружения (digital forensics Kureyko)
el.high-level transaction request from testbench or verification environmentвысокоуровневые транзакции, поступающие от "испытательного стенда" или среды проверки (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004 ssn)
el.high-level transaction result to testbench or verification environmentвысокоуровневые транзакции, поступающие в "испытательный стенд" или в среду проверки (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004 ssn)
el.verification environmentсреда проверки (ssn)
el.verification environmentсреда верификации (ssn)
softw.verification environmentсреда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk)
progr.verification environment for high-integrity softwareсреда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk)
progr.verification environment for high-integrity softwareсреда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk)
progr.verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machineпроверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn)