6.Мүмкін сртатегияларды бағалау. Модельді қолдануға мүмкіндік беретін модельдеу белгілі бір кезеңге жеткізілген кезде модельден алынған потенциалдық стратегияны бағалау басталады. Егер негізгі кірістер дұрыс болса, модельдеу кезеңіне қайта оралуға мүмкіндік болады, бірақ қорытындыланған нұсқаны шамалы модификациялау арқылы модельді жиі жақсартуға болады. Қалыпты жағдайда мәселелер мен олардың қиындық дәрежесі шектелген екінші кезеңдегі формальды анализ кезінде болған аспекті мәселелеріндегі модельдің «сезімталдығын» зерттеуге тура келеді.
