Verification tooling