Инвариант
Формальная верификация · правило «всегда верно»
создано · обновлено
Условие, которое должно выполняться в каждом состоянии системы, в каком бы порядке ни шли действия. Например, в магазине деньги никогда не списаны без заказа, а в расшифровщике встреч приватная запись никогда не попадает в общее хранилище. Проверка моделей ищет цепочку шагов, после которой инвариант нарушается.
Источник: Википедия: инвариант в программировании
Где встречается · 1
- Спеки по агрегатам · Спеки и контекст