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

model checking using automata מתח
.תִכנו	верификация моделей при помощи автоматов (ssn)