TY  - RPRT
TI  - A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
AU  - Zhe Zhou
AU  - Qianchuan Ye
AU  - Benjamin Delaware
AU  - Suresh Jagannathan
PY  - 2024
DO  - 10.1145/3656433
UR  - https://arxiv.org/abs/2404.01484
ID  - 2404.01484
ER  -