Аннотация:Исследован алгоритм построения модели контура данных программно-конфигурируемой сети (ПКС), предлагавшийся в 2014 году в рамках разработки средства Vermont верификации контура данных ПКС и слегка доработанный позже студентом бакалавриата Прудниковым О.В. в своей выпускной работе. Описание модели некоторого частного вида и алгоритма её построение улучшено настолько, что стало возможным сформулировать и обосновать свойство корректности алгоритма. Это свойство сформулировано и обосновано.