3.1.4 Упражнения

  • Построить граф регионов НВСП, изображенной на рис. 3.8, относительно TCTL-формулы 3(s4s5).
  • Построить редуцированный граф регионов НВСП, изображенной на рис. 3.8, относительно TCTL-формулы 3(s4s5).
  • Проверить, удовлетворяет ли НВСП, изображенная на рис. 3.8, TCTL-формуле 3(s4s5).