Model generation by the exhaustive search for embedded assembly programs and application to model checking. - Ryosuke Konoshita; Kouhei Sakurai; Satoshi Yamane (GCCE, 2014)

Model Checking of Embedded Assembly Program Based on Simulation. - Satoshi Yamane; Ryosuke Konoshita; Tomonori Kato (IEICE Trans. Inf. Syst., 2017)