abstract:The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and post-conditions to specify interfaces, and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications.