Terms for subject Programming containing code verification

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)