A Bit Too Precise? Bounded Verification of Quantized Digital Filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Browse the full TACAS paper archive.