 |
| |||
| accessibility analysis (алгоритмы проверки моделей обычно базируются на исчерпывающем обзоре множества всех состояний модели системы: для каждого состояния системы проверяется, "ведет ли оно себя корректно" удовлетворяет ли требуемому свойству. В самой простой форме этот метод известен как анализ достижимости ssn) | |||
| анализ достижимости: 3 phrases in 2 subjects |
| Mass media | 1 |
| Programming | 2 |