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

analyzability and provability of program properties מתח
.תִכנו	анализируемость и доказуемость свойств программы (Electronic Design Alex_Odeychuk)