Terms for subject Programming containing dynamic verification

English	Russian
dynamic formal verification	динамическая формальная верификация (ssn)
dynamic verification	динамическая верификация (ssn)
dynamic verification methods	методы динамической верификации (ssn)
static and dynamic verification	статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk)
static and dynamic verification	статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk)