Russian ⇄ English

верификация программ на моделях stresses
progr.	model checking (формальный метод верификации программного обеспечения Alex_Odeychuk)

верификация на моделях: 3 phrases in 1 subject

Programming

3