אנגלית ⇄ איטלקית גרמנית יוונית ספרדית צרפתית רוסית +

proof verification system מתח
.תוֹכנ	система формальной верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)