Skip to Main Content
Idaho State University home

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
E
EAM
EAP
ECM
EDM
EEI
EFD
EFT
EIF
EMS
ENQ
EOF
EOL
EOT
EOU
EPL
Era
ES
ESS
ETB
ETL
ETX
EV
Exa
EXE
Endorsed Tools List
  • The list of formal verification tools endorsed by the NCSC for the development of systems with high levels of trust. (AF9K_JBC. TXT) (ETL) List of formal verification tools endorsed by the National Computer Security Center (NCSC) for the development of systems with high levels of trust.