Jumpei Kobashi, Satoshi Yamane, Atsushi Takeshita. Development of SMT-Based Bounded Model Checker for embedded assembly program. In IEEE 3rd Global Conference on Consumer Electronics, GCCE 2014, Tokyo, Japan, 7-10 October 2014. pages 696-698, IEEE, 2014. [doi]
Abstract is missing.