Terms for subject Programming containing static verification

English	Russian
static and dynamic verification	статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk)
static and dynamic verification	статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk)
static deductive verification	статическая дедуктивная верификация (Alex_Odeychuk)
static formal verification	статическая формальная верификация (ssn)
static verification	статическая верификация (adacore.com Alex_Odeychuk)
static verification of programs	статическая верификация программ (Microsoft Alex_Odeychuk)