@misc{indiciae68dc16f4ec26,
  title = {Passport: Improving Automated Formal Verification Using Identifiers},
  author = {Alex Sanchez-Stern and Emily First and Timothy Zhou and Zhanna Kaufman and Yuriy Brun and Talia Ringer},
  year = {2022},
  doi = {10.1145/3593374},
  url = {https://arxiv.org/abs/2204.10370},
  note = {Source identifier: 2204.10370}
}