Passport: Improving Automated Formal Verification Using Identifiers - Sanchez-Stern, Alex (arXiv.org)