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