TY  - RPRT
TI  - Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
AU  - Wannes Tas
AU  - Bart Jacobs
PY  - 2026
UR  - https://arxiv.org/abs/2603.28326
ID  - 2603.28326
ER  -