Model checking of embedded assembly program based on simulation

Satoshi YAMANE  Ryosuke KONOSHITA  Tomonori KATO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/05/12
DOI: 10.1587/transinf.2016EDP7452
Full Text: PDF(185.2KB)