ALGORITHMS; COMPUTER PROGRAMS; CODING; COLLISION AVOIDANCE; VERIFICATION; BRIEFING CHARTS;
机译:软件模型检查:提取验证模型表格源代码
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:分布式系统形式验证中的符号模型检查方法
机译:使用特定于域的软件模型检查来验证基于事件的分布式中间件应用程序
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用特定于域的软件模型检查验证分布式的基于事件的中间件应用程序