Passport: Improving Automated Formal Verification Using Identifiers

Open Webpage

Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer

Published: 2023, Last Modified: 15 Dec 2025ACM Trans. Program. Lang. Syst. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0