Cooperative Verification of Agent Interface