NEC Laboratories America, Princeton, NJ 08540, USA;
机译:使用符号模型检查自动支持分布式环境中的安全交易验证
机译:通过混合符号分析对顺序软件程序进行模型检查
机译:将符号执行与模型检查相结合以验证并行数值程序
机译:使用部分订单和在线交易的符号模型检查并发程序
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用部分订单和即时交易的并发程序的符号模型检查