Descriptive Top-Level Specification
- (DTLS) Top-level specification that is written in a natural language (e. g. , English), an informal design notation, or a combination of the two.
- NOTE: Descriptive top-level specification, required for a class B2 or B3 AIS, completely and accurately describes a trusted computing base. See Formal Top-Level Specification (FTLS).