Interval analysis of microcontroller code using abstract interpretation of hardware and software.

Jrg Brauer, Thomas Noll, Bastian Schlich

Browse the full SCOPES paper archive.