TY  - RPRT
TI  - The Path Not Taken: Duality in Reasoning about Program Execution
AU  - Eshgin Hasanov
AU  - Md Mahadi Hassan Sibat
AU  - Santu Karmaker
AU  - Aashish Yadavally
PY  - 2026
UR  - https://arxiv.org/abs/2604.20917
ID  - 2604.20917
ER  -