Предлагается метод ускорения проверки моделей больших проектов, основанный на распараллеливании процессов в сетях с поддержкой распределенной памяти. Основное внимание уделяется поддержанию баланса расходуемой памяти и уменьшению сетевого трафика между выполняемыми процессами. Представлен алгоритм разделения больших пром. проектов с идентификацией сотен миллионов возможных переходов и состояний подсистем. Пространство состояний описывается в виде взвешенной структуры Крипке. Каждый процесс в сети имеет свой раздел. Эксперим. результаты показывают, что предлагаемый метод повышает качество разделения проекта на части, уменьшает перерасход коммуникационных ресурсов и увеличивает общую производительность при проверке моделей. Библ. 23.