Terms for subject Programming containing model verification tool

English	Russian
model verification tool	инструментальное средство верификации моделей (корпорации AdaCore Alex_Odeychuk)
model-based development and verification tool	инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)