Open AccessA Formal Model and Verification Problems for Software Defined Networks
Author(s) -
Vladimir A. Zakharov,
Руслан Леонидович Смелянский,
Евгений Викторович Чемерицкий
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2013-6-36-51
Subject(s) - openflow , computer science , software defined networking , network packet , table (database) , set (abstract data type) , protocol (science) , forwarding plane , distributed computing , software , controller (irrigation) , computer network , model checking , formal verification , programming language , database , medicine , alternative medicine , pathology , agronomy , biology