Pattaravut MALEEHUAN


A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver
Pattaravut MALEEHUAN Yuki CHIBA Toshiaki AOKI 
Publication:   
Publication Date: 2018/12/01
Vol. E101-D  No. 12  pp. 3038-3058
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
relaxed memory modelmodel checkingSMT solverprogram verificationformalization
 Summary | Full Text:PDF