Вирішено задачі розробки нових та вдосконалення існуючих методів та моделей підтримки процесів розробки протоколів управління у програмно-конфігурованих мережах, що дозволяють забезпечити скорочення часу розробки протоколів та підвищити ефективність функціонування мережі. Для формалізації вимог специфікації протоколів управління запропоновано використання математичного апарату алгебри розподілених комутаційних ресурсів, що дозволяє однозначно інтерпретувати твердження специфікації. Зазначено, що застосування алгебри розподілених комутаційних ресурсів як інструменту побудови специфікації виявляє протиріччя між твердженнями специфікації. Задачу аналізу реалізації протоколу запропоновано звести до розв'язання задач перевірки відповідності таких функціональних та нефункціональних властивостей ОреnFlow протоколу, як обмеженість, жвавість, досяжність, безпечність, збереження. З метою автоматизації процесу побудови моделі протоколу розроблено метод синтезу моделі Е-мережі за АСSR формалізмами тверджень специфікації. Запропоновано новий метод верифікації протоколів управління, в основу якого покладено класичний підхід "перевірки на моделях". Процес верифікації у випадку використання запропонованого методу базується на послідовній перевірці відповідності гілок дерева досяжності Е-мережі моделі реалізації та специфікації протоколу ОреnFlow. На основі часткових розроблених методів сформовано комплексну методику аналізу та верифікації протоколів управління у програмно-конфігурованих мережах.