Provably Fair Verification