Enviar aquest missatge de text: TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA