SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions.

Kousuke Uemura, Satoshi Yamane

Browse the full DASC paper archive.