В работе рассматриваются сценарии применения технологии информационного моделирования объектов строительства, связанные с проверками моделей: подходы и алгоритмы автоматизации проверок. Цель диссертации заключается в разработке методики этой автоматизации. Проведены анализ и классификация видов проверок и программных продуктов, составлен универсальный алгоритм проверки. Разработаны 13 алгоритмов по 4 наиболее распространённым типам проверок в 5 различных программных продуктах, осуществлён их запуск на 3 информационных моделях объектов гражданского строительства (гостинице, хосписа и жилого дома), проведён анализ результатов проверок.