Checking the contracts

Verifying deployed code and protocol bindings.