Lab 15 · Adversarial Verification