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

formal proof tool מתח
.תוֹכנ	инструментальное средство формального доказательства корректности ПО (корпорации AdaCore Alex_Odeychuk)