TY  - RPRT
TI  - Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
AU  - Chang Liu
AU  - Xiwei Wu
AU  - Yuan Feng
AU  - Qinxiang Cao
AU  - Junchi Yan
PY  - 2024
UR  - https://arxiv.org/abs/2311.10483
ID  - 2311.10483
ER  -