jroesch·9 เดือนที่ผ่านมา·discussWe also have a formal memory model and the program semantics are simpler so if anything reasoning about it should be easier.