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

formally verifiable programming language מתח
.תִכנו	формально-верифицируемый язык программирования (Alex_Odeychuk)