Glossary Computer Security / Term
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.
Permanent link Formal Top-Level Specification (FTLS) - Creation date 2020-06-27