TY  - RPRT
TI  - KestRel: Relational Verification Using E-Graphs for Program Alignment
AU  - Robert Dickerson
AU  - Prasita Mukherjee
AU  - Benjamin Delaware
PY  - 2025
UR  - https://arxiv.org/abs/2404.08106
ID  - 2404.08106
ER  -