Tags: Programming Language.
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 postconditions to specify interfaces and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications.