[model-checking] Комиссия по верификации