formal verification; search problems; software defined networking; telecommunication network management; telecommunication network reliability; OpenFlow networks; SDPOR-DS; distributed systems; dynamic partial-order reduction; naive depth first search model checking; network behavior; network management; network reliability; software-defined networking; state transition; state-explosion problem; symbolic execution; toy network; Computer bugs; History; Model checking; Prototypes; Space exploration; Switches; OpenFlow; SDN; Software-Defined Networking; formal methods; model checking;
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:MIGRATEDN:使用支持STP的网络集成OpenFlow网络的高效方法
机译:使用SDPOR-DS高效模型检查OpenFlow网络
机译:环境建模和有效的状态可达性检查。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索