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

formally-verifiable software development מתח
.תִכנו	разработка формально верифицируемого программного обеспечения (Alex_Odeychuk)