Formal Top-Level Specification
- (FTLS) A Top-Level Specification that is written in a formal mathematical language to allow theorems showing the correspondence of the system specification to its formal requirements to be hypothesized and formally proven. (CSC-STD-001-83;; NCSC-WA-001-85;);