 |
| English | Russian |
| be formally verified | быть формально верифицированным (корпорации AdaCore Alex_Odeychuk) |
| formally prove correctness | формально доказать корректность (корпорации AdaCore Alex_Odeychuk) |
| formally verifiable | формально верифицированный (adacore.com Alex_Odeychuk) |