Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic.

Stella Simic, Omar Inverso, Mirco Tribastone

Browse the full SEFM paper archive.