TY  - RPRT
TI  - Passport: Improving Automated Formal Verification Using Identifiers
AU  - Alex Sanchez-Stern
AU  - Emily First
AU  - Timothy Zhou
AU  - Zhanna Kaufman
AU  - Yuriy Brun
AU  - Talia Ringer
PY  - 2022
DO  - 10.1145/3593374
UR  - https://arxiv.org/abs/2204.10370
ID  - 2204.10370
ER  -