Cieszę się, że mogę podzielić się nowym artykułem! Projektowanie zachowań modeli jest trudne – pożądane wartości często ciągną w przeciwnych kierunkach. Podejście Jifana systematycznie generuje scenariusze, w których wartości się konfliktują, pomagając nam zobaczyć, gdzie specyfikacje mają braki w pokryciu i jak różne modele równoważą kompromisy.