 |
| |||
| theorem proving (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) | |||
| дедуктивный анализ: 2 phrases in 2 subjects |
| Investment | 1 |
| Military | 1 |