אנגלית ⇄ רוסית +

verification aware programming language מתח
.תִכנו	язык программирования со встроенными средствами формальной верификации программного обеспечения (brooker.co.za Alex_Odeychuk)