TY  - RPRT
TI  - ReSMT: An SMT-Based Tool for Reverse Engineering
AU  - Nir Somech
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2512.22076
ID  - 2512.22076
ER  -