Verification: The process of checking offline if an agent application satisfies the contract requirements for each pre-defined scenario in the specification.Certification: The process of checking in runtime if an agent satisfies the online contract requirements.