Satoshi Yamane, Kosuke Uemura. Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. In 9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020. pages 54-57, IEEE, 2020. [doi]
Abstract is missing.