Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. - Hiromu Kamide; Kosuke Uemura; Satoshi Yamane (COMPSAC (1), 2018)

SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. - Kousuke Uemura; Satoshi Yamane (DASC/PiCom/DataCom/CyberSciTech, 2019)

Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. - Satoshi Yamane; Kosuke Uemura (GCCE, 2020)