Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
F
Fan
FAQ
FAX
FCA
FDM
FEC
FER
FIN
Fix
FOI
FQR
FQT
FRD
Fry
FSD
FTS
Formal Top-Level
  • Top-level specification that is written specification in a formal mathematical language to allow theorems, showing the correspon-dence of the system specification to its formal requirements, to be hypothesized and formally proven.
  • NOTE: Formal top-level specification, required for a class A1 AIS, completely and accurately describes the trusted computing base.