×

兰格实验室

swMATH标识: 38042
软件作者: 马特尔,M。
说明: RangeLab:一个静态分析仪,用于限制有限精度计算的精度。本文介绍rangelab,一个验证浮点或定点计算精度的简单工具。给定输入间隔,Range Lab计算带有条件和循环的简单函数的输出范围,以及计算过程中产生的舍入误差的范围。因此,用户不仅在计算机算法中得到了计算结果的范围,而且在无限精度上得到了计算机结果与计算结果之间差异的界限。Range Lab基于抽象解释的静态分析,在本文中,我们描述了工具中实现的技术。特别是,Range Lab使用了一种混合的数值形式化评估技术,用于限制区间计算中的包装效应。
主页: https://ieeexplore.ieee.org/abstract/document/6169510
相关软件: 普雷西萨;雏菊;github;F调谐器;德雷尔;z3型;mc工具箱;阿斯特里;霍尔灯;Frama-C公司;PVS公司
参考文献: 2个出版物

在0序列中引用

按年份引用出版物