Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer: Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45(2): 12:1-12:30 (2023)