verified compilation; Coq proof assistant; program analysis; constant-time programming;
机译:直立的静态骨盆姿势,从三个二维数字图像中以三维形式旋转和平移:计算机分析的验证。
机译:用于验证和验证安全关键系统静态方面的UML + Z框架
机译:面向前方和20度静态漂移条件的地面战斗机5415的CFD验证和确认
机译:验证静态分析的翻译验证
机译:表面单元支架的机械计算机辅助工程:一种新型电测距表面单元支架的分析设计和结构分析,将其强度与现有设计进行了比较,并应用了实体和有限元建模和分析,并通过简单的静态载荷实验进行了验证。
机译:使用各种容积的离子室和TLD检测器对静态强度调制放射治疗(IMRT)进行绝对剂量验证
机译:经过验证的静态分析翻译验证
机译:通过验证和验证将专家系统规则转换为ada代码