Program analysis; Model checking; Roundoff error; Overflow error; Affine interval;
机译:高阶统计估计中浮点舍入误差的分析
机译:使用虚拟乘数系数灵敏度分析浮点舍入误差
机译:用于数字系统中定点舍入误差的统一白噪声模型
机译:通过模型检查进行溢出和舍入误差分析
机译:软件模型检查:缓冲区溢出分析的基准测试和技术
机译:对其进行两次检查:使用化疗模型评估在床边检查用药错误的清单
机译:使用反例引导缩小检查舍入误差
机译:灵活结构模型中的灵敏度,最佳缩放和最小舍入误差