Terms for subject Programming containing verification tools

English	Russian
automatic program verification tool	инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk)
coding standard verification tool	инструмент верификации соблюдения стандарта оформления кода (корпорации AdaCore Alex_Odeychuk)
coding standard verification tool	инструментальное средство проверки на соответствие стандарту оформления кода (Alex_Odeychuk)
coding standard verification tool	инструментальное средство верификации соблюдения стандарта оформления кода (Alex_Odeychuk)
development and verification tools	инструментальные средства разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)
development and verification tools for safety- and mission-critical systems	инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore Alex_Odeychuk)
model verification tool	инструментальное средство верификации моделей (корпорации AdaCore Alex_Odeychuk)
model-based development and verification tool	инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)
program verification tool	инструментальное средство верификации программ (Alex_Odeychuk)
tool for formal verification	инструмент формальной верификации (illinois.edu Alex_Odeychuk)
tool for software verification	инструментальное средство верификации программного обеспечения (Alex_Odeychuk)
tool verification plan	план верификации инструментального средства (корпорации AdaCore Alex_Odeychuk)
verification tool	инструментальное средство проверки на соответствие (Alex_Odeychuk)