Software Defined Networking (SDN); Races; Controller; Switch; Verification; Testing;
机译:基于定向模型检查和崩溃跟踪的错误重现方法
机译:基于可配置模型提取的故障分析模型检查方法
机译:基于在线模型检查的参数估计与混合功能Petri网的秀丽隐杆线虫神经元命运决策模拟模型
机译:基于模型检查的SDN竞赛检测方法
机译:基于模型检查的分布式系统跟踪分析框架
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:一种模型驱动的基于模式的时态属性跟踪检测方法