The memory model of RISC-V is being formally verified, providing stronger guarantees than proprietary ISAs! https://riscv.org/2017/04/risc-v-memory-consistency-model/