Быстрый алгоритм нахождения доступных вершин графа управления при ограничениях траекторий
Предлагается эвристически обоснованный алгоритм быстрого вычисления множества доступных вершин графа управления программы, допускающий задание произвольного списка “запрещенных” узлов в динамическом режиме. Алгоритм предназначен для ускорения автоматического принятия решений при моделировании и тестировании программно-аппаратных комплексов.