Stem roundoff$ (all stems)

4 papers:

ASE-2010-NgocO #fault #using

Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.

SEFM-2009-NgocO #analysis #fault #model checking

Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.

ESOP-2002-Martel #approach #fault #finite #precise #semantics

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.

STOC-1973-Miller #fault #towards #verification

Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.