В работе показана необходимость верификации когнитивных карт в рамках проблемы рисков из-за человеческого фактора для достоверности получаемых результатов и представлены два экспертно-формальных метода встроенной верификации (верификации в процессе построения карты) ациклических когнитивных карт. Цель одного метода – идентификация рисков дублирующих влияний с последующей коррекцией карты при обнаружении дублирующих влияний, а другого – идентификация рисков ложной транзитивности в цепочках из двух влияний. Методы разработаны с учетом вычислительной сложности и направлены на снижение когнитивной нагрузки на эксперта при построении и верификации когнитивной карты.