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

verification of class hierarchy consistency מתח
.תִכנו	верификация согласованности иерархии классов (корпорации AdaCore Alex_Odeychuk)