Login / Signup
Passport: Improving Automated Formal Verification Using Identifiers.
Alex Sanchez-Stern
Emily First
Timothy Zhou
Zhanna Kaufman
Yuriy Brun
Talia Ringer
Published in:
CoRR (2022)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
automated verification
semi automated
bounded model checking
program slicing
fully automated
functional verification
rough sets
orders of magnitude
formal methods