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

based on formal methods מתח
.תוֹכנ	на основе методов формальной верификации программного обеспечения (Alex_Odeychuk)