Core Primitives
Specification: A collection of scenario-specific requirements that defines the expected behavior of the agent application.
- Scenario: A specific use case that the agent application is expected to handle.
- Contract: A group of requirements that are expected to be met for a given scenario.
- Pre-condition: A requirement that must be true before the execution.
- Path-condition: A requirement that must be true during the execution.
- Post-condition: A requirement that must be true after the execution.
Ways to use Contracts
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.