Чем отличается конкурентный метод от дедуктивного?

Как соотносятся список дедуктивного метода и суперсписок конкурентного метода?

Какими процедурами отличается метод PODEM от -алгоритма?

Чем отличается динамическое состяза-ние от статического?

Чем отличается процедура продвижения назад в методе FAN?

Чем отличается событийное модели-рование от сквозного?

Чем отличается устойчивый тест от неустойчивого для неисправности "задержка" ?

Чем отличается однопроходной алгоритм событийного моделирования от двухпроходного?

Чем отличается прямое различающее дерево от дерева преемников состояний?

Какой алфавит сигналов использует метод Эйхельбергера?

Какой многозначный алфавит использует метод Test-Detect?