Fiscal Year	2015
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Volpano, Dennis M.
Sponsor	Marine Corps Forces Cyberspace Command (Marine Corps)
Summary	We propose to investigate a methodology for developing network control software so that (a) one can reason about the software formally to understand how the network will behave when multiple virtualizations are operating simultaneously, and (b) the software can be produced automatically by algorithm in order to respond more quickly to changing service demands.
Keywords
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal