ADL[3]

Assertion Definition Language

Sun Microsystems Laboratories, for the Japanese Ministry of Trade, 1991

A language for describing the behavior of interfaces, and automated generation of interface tests.

ADL/C

For the description of C language interfaces on Open Systems (POSIX) platforms.