机译:通过模型抽象和完善对医疗设备进行闭环验证
University of Pennsylvania, Philadelphia, PA, USA;
University of Pennsylvania, Philadelphia, PA, USA;
University of Pennsylvania, Philadelphia, PA, USA;
University of Pennsylvania, Philadelphia, PA, USA;
Medical devices; Implantable pacemaker; Software verification; Cyber-physical systems; Model abstraction and refinement; CEGAR;
机译:用于评估闭环控制医疗器械的生理模型选择的精度评估方法
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
机译:个性化医疗和可穿戴设备的混合心脏模型的估计和验证
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:对闭环控制医疗设备评估的生理模型选择的精度评估方法
机译:通过模型抽象和完善对医疗器械进行闭环验证
机译:用于验证RTL Verilog的词级谓词抽象和细化