Glossary Computer Security / Term
The list of formal verification tools endorsed by the NCSC for the development of systems with high levels of trust.
Permanent link Endorsed Tools List (ETL) - Creation date 2020-06-27