TY  - RPRT
TI  - Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
AU  - Janggun Lee
AU  - Jeehoon Kang
PY  - 2026
UR  - https://arxiv.org/abs/2607.18727
ID  - 2607.18727
ER  -