TY  - RPRT
TI  - A shallow dive into the depths of non-termination checking for C programs
AU  - Ravindra Metta
AU  - Hrishikesh Karmarkar
AU  - Kumar Madhukar
AU  - R Venkatesh
AU  - Supratik Chakraborty
AU  - Samarjit Chakraborty
PY  - 2024
UR  - https://arxiv.org/abs/2409.12985
ID  - 2409.12985
ER  -