机译:使用未知模型进行灵活建模的不完整设计的符号模型检查
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用符号模型检查的流水线处理器设计中的危险检查
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:在符号三元模拟中通过对应检查验证流水线微处理器
机译:使用无BDD的符号模型检查验证powerpC(商标)微处理器的安全属性