Development of SMT-Based Bounded Model Checker for embedded assembly program. - Jumpei Kobashi; Satoshi Yamane; Atsushi Takeshita (GCCE, 2014)