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

Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. - Yajun Wu; Hiromu Kamide; Satoshi Yamane (GCCE, 2020)