A Verification Framework for Assembly Programs under Relaxed Memory Model using SMT Solver

Pattaravut MALEEHUAN  Yuki CHIBA  Toshiaki AOKI  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2018/09/12
DOI: 10.1587/transinf.2018EDP7099
Full Text: PDF(694.9KB)