Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.

Bastian Schlich, Jann Lll, Stefan Kowalewski

Browse the full FMICS paper archive.