Passport: Improving Automated Formal Verification Using Identifiers

Open Webpage

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

Published: 01 Jan 2023, Last Modified: 25 Jun 2025ACM Trans. Program. Lang. Syst. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0