Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability

Shirley Yu, Ruben Martins

Program verification is crucial for software correctness, but producing fully verified programs remains difficult in practice. This paper studies whether implementation structure a…