TY  - RPRT
TI  - Incorrectness Separation Logic with Arrays and Pointer Arithmetic
AU  - Yeonseok Lee
AU  - Koji Nakazawa
PY  - 2025
UR  - https://arxiv.org/abs/2503.00809
ID  - 2503.00809
ER  -