TY  - RPRT
TI  - Static Analysis Under Non-Deterministic Program Assumptions
AU  - Abdullah H. Rasheed
PY  - 2026
UR  - https://arxiv.org/abs/2602.07324
ID  - 2602.07324
ER  -