English translation is not available yet. Showing Russian content.
Formal plan
Formal plan
Определение
Последовательность шагов, каждый из которых имеет контрактные условия (предусловия, постусловия). Используется для гарантии корректности выполнения в критических миссиях.