TY  - RPRT
TI  - Non-Termination Proving: 100 Million LoC and Beyond
AU  - Julien Vanegue
AU  - Jules Villard
AU  - Peter O'Hearn
AU  - Azalea Raad
PY  - 2025
UR  - https://arxiv.org/abs/2509.05293
ID  - 2509.05293
ER  -