机译:使用约束编程和抽象解释技术验证浮点程序
Universite de Nice Sophia Antipolis, CNRS, I3S, 06900 Sophia Antipolis, France;
Universite de Nice Sophia Antipolis, CNRS, I3S, 06900 Sophia Antipolis, France;
Universite de Nice Sophia Antipolis, CNRS, I3S, 06900 Sophia Antipolis, France;
Program verification; Floating-point computation; Constraint solving over floating-point numbers; Constraint solving over real number intervals; Abstract interpretation-based approximation;
机译:基于抽象解释的逻辑程序验证
机译:约束逻辑程序的目标无关精确抽象解释
机译:使用Math.H / CMATH函数验证浮点C / C ++程序的实用方法
机译:结合约束编程和抽象解释进行浮点程序的价值分析
机译:基于约束的方法来验证具有浮点数的程序。
机译:评估社会项目时选择偏见的来源: 常规措施的解释和证据 匹配作为程序评估方法的有效性:方法
机译:使用约束编程和抽象解释技术验证浮点程序