Design Technology Solutions, INTEL Corporation;
机译:功能安全验证中基于SAT的故障等效检查
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:基于SAT的加权解释系统的有界模型检查。
机译:基于SAT的安全性能模型检查
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:肾小球滤过率(GFR)的非侵入性评估。 Lund模型:同时使用基于胱抑素C和肌酐的GFR预测方程临床数据和内部质量检查
机译:基于SAT的安全特性同时模型检查
机译:模型检查安全属性