Перейти к основному содержимому

BDR-XXXX — Краткое решение

ПолеЗначение
Статусaccepted
Владелец
Дата решенияYYYY-MM-DD
Effective date
REQREQ-XXXX
ADRADR-xxxx / none
Supersedes

Решение​

Обоснование и альтернативы​

Исполнимый контракт​

  • BR:
  • Machine rule:
  • Код / PR:
  • Golden / test:
  • Runtime verification: