З радістю ділимося новою статтею! Спроектувати поведінку моделі складно - бажані цінності часто тягнуть в протилежних напрямках. Підхід Цзіфана систематично генерує сценарії, в яких цінності конфліктують, допомагаючи нам побачити, де специфікації не мають охоплення і як різні моделі балансують компроміси.