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

static model checker מתח
.תוֹכנ	статический анализатор моделей (Alex_Odeychuk)