English | Russian |
formally prove correctness | формально доказать корректность (корпорации AdaCore Alex_Odeychuk) |
theorem proving | дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) |