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

subclass of formal verification called model checking מתח
.תִכנו	подвид формальной верификации, называемый верификация модели (ssn)