correctness; conditions; Verification;
机译:使用约束编程和抽象解释技术验证浮点程序
机译:使用Math.H / CMATH函数验证浮点C / C ++程序的实用方法
机译:数值程序的形式验证:从C注释程序到机械证明
机译:数值程序的验证:从实数到浮点数
机译:基于约束的方法来验证具有浮点数的程序。
机译:现实的铅轨迹的数值模拟和实验验证支持并行射频传输减少MRI期间深部脑刺激植入物发热的功效
机译:数值程序的验证:从实数到浮点数
机译:数值程序的验证:从实数到浮点数。