Cooperative Verification