| |||
| анализ достижимости (алгоритмы проверки моделей обычно базируются на исчерпывающем обзоре множества всех состояний модели системы: для каждого состояния системы проверяется, "ведет ли оно себя корректно" удовлетворяет ли требуемому свойству. В самой простой форме этот метод известен как анализ достижимости ssn) | |||
