Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
verification code
|
all forms
English
Russian
byte-code translation and verification
трансляция и верификация байткода
(
Alex_Odeychuk
)
code safety verification
проверка безопасности кода
(
ssn
)
code standard verification
проверка на соответствие стандарту оформления кода
(корпорации AdaCore
Alex_Odeychuk
)
code standard verification
верификация соблюдения стандарта оформления кода
(корпорации AdaCore
Alex_Odeychuk
)
code verification
верификация кода
(
Alex_Odeychuk
)
code verification performed by the compiler
верификация кода компилятором
(корпорации AdaCore
Alex_Odeychuk
)
explicit verification in the code
явная верификация в коде
(корпорации AdaCore
Alex_Odeychuk
)
perform formal proof and verification on code
выполнять формальное доказательство корректности и верификацию кода
(корпорации AdaCore
Alex_Odeychuk
)
type- and code-verification
верификации типов и кода
(
ssn
)
Get short URL
