...
机译:舍入误差范围的形式证明及其在自动正定性检查中的应用
Off Natl Etud & Rech Aerosp, ISAE, Toulouse, France;
Floating-point arithmetic; Rounding error; Numerical analysis; Proof assistant; Coq; Matrices; Cholesky decomposition;
机译:确定对称正定矩阵的最大特征值的幂方法的误差界
机译:使用有界模型检查生成增量测试用例:自动评估的应用程序
机译:正定矩阵空间的黎曼几何及其在正定矩阵值数据正则化中的应用
机译:为自动生产正式检验的安全证明
机译:通过模型检查自动检测严重的存储系统错误。
机译:将自动规划完整性检查(APIC)与标准计划文件和清单方法相结合以减少治疗计划中的错误
机译:致力于自动生成形式可检查的安全证明