この資料をSMS送信: TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA