Definition[]
An Endorsed Tools List (ETL) is a list of those formal verification systems recommended by the National Computer Security Center (NCSC) for use in developing highly trusted systems.
One such list is set forth in the NSA's Information Systems Security Products and Services Catalogue.