Аннотация:Работа посвящена приближенному построению множеств достижимости с помощью «прямых методов» (т.е., основанных на переборе управлений). Основной упор делается на создании алгоритма, использующего возможности распараллеливания вычислений на современных многопроцессорных суперкомпьютерах.