Range Analysis of Microcontroller Code Using Bit-Level Congruences.

Jrg Brauer, Andy King, Stefan Kowalewski

Browse the full FMICS paper archive.